stasharrofi / sat-to-sat Goto Github PK

================================================================================
DIRECTORY OVERVIEW:

/               Main file, Dimacs and STS Parser
mtl/            Mini Template Library
utils/          Generic helper code (I/O, Parsing, CPU-time, etc)
core/           A core version of the solver
propagators/    Different propagator implementations
maxsat/         OpenWBO MaxSAT functionalities
simp/           An extended solver with simplification capabilities
README
LICENSE

================================================================================
BUILDING: (release version: without assertions, statically linked, etc)

make rs
cp sat-to-sat_static <install-dir>/sat-to-sat

================================================================================
EXAMPLES:

Run sat-to-sat:

> sat-to-sat <cnf-file>