Simple C API to build Cryptominisat FFI bindings
This provides a simply C API to the SAT solver Cryptominisat with the goal to simplify FFI access to Cryptominisat from other languages.
Currently supported:
- C
- Racket
-
Notifications
You must be signed in to change notification settings - Fork 0
Simple C API to build Cryptominisat FFI bindings
License
mgudemann/cmsat
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
About
Simple C API to build Cryptominisat FFI bindings
Resources
License
Stars
Watchers
Forks
Releases
No releases published
Packages 0
No packages published