GitHub - lip6/minisat-SymSp

Branches Tags

Name		Name	Last commit message	Last commit date
Latest commit History 1 Commit
minisat		minisat
runner		runner
sat_symmetry		sat_symmetry
CMakeLists.txt		CMakeLists.txt
LICENSE		LICENSE
Makefile		Makefile
README		README

Repository files navigation


This sat solver is based on minisat SPFS : https://github.com/JoD/minisat-SPFS



================================================================================
Building:

cd sat_symmetry
source .env
make third_party
make
cd ..
make cr

cp build/release/bin/minisat_core runner/


================================================================================
Execute:

Execute minisat-SymSP

./runner/execute.sh CNF_FILE

--

Execute minisat-Sym

./runner/execute.sh -no-dynamic-breaking CNF_FILE

--

Execute minisat-Sp

./runner/execute.sh -no-cosy CNF_FILE

================================================================================
Directory Overview:

minisat/mtl/            Mini Template Library
minisat/utils/          Generic helper code (I/O, Parsing, CPU-time, etc)
minisat/core/           A core version of the solver
minisat/simp/           An extended solver with simplification capabilities
sat_symmetry/           A library for ESBPA
doc/                    Documentation
README
LICENSE

================================================================================