There are no reviews yet. Be the first to send feedback to the community and the maintainers!
Repository Details
Build system for CVC4 that creates a self-unpacking, standalone JAR file that ships all required native support code and automatically unpacks it at runtime.