cat_solver 3.1.1

Rust bindings for the Kissat SAT solver
Documentation
1
2
3
4
5
#define VERSION "3.1.1"
#define COMPILER "unknown"  
#define ID "unknown"
#define BUILD "unknown"
#define DIR "unknown"