├── .gitignore ├── .gitmodules ├── CMakeLists.txt ├── LICENSE ├── README.md ├── benchmark ├── alu1.aig ├── alu1.bench ├── alu1.cnf ├── c17.aig ├── c17.bench ├── c17.cnf ├── c171.bench ├── c172.bench ├── c432.aig ├── clpl.aig ├── clpl.bench ├── clpl.cnf ├── cm138a.aig ├── cm138a.bench ├── cm138a.cnf ├── cm152a.aig ├── cm152a.bench ├── cm152a.cnf ├── cm162a.aig ├── cm162a.bench ├── cm162a.cnf ├── cm163a.aig ├── cm163a.bench ├── cm163a.cnf ├── cm42a.aig ├── cm42a.bench ├── cm42a.cnf ├── cm82a.aig ├── cm82a.bench ├── cm82a.cnf ├── cm85a.aig ├── cm85a.bench ├── cm85a.cnf ├── con1.aig ├── con1.bench ├── con1.cnf ├── dc1.aig ├── dc1.bench ├── dc1.cnf ├── majority.aig ├── majority.bench ├── majority.cnf ├── newcwp.aig ├── newcwp.bench ├── newcwp.cnf ├── newill.aig ├── newill.bench ├── newill.cnf ├── newtag.aig ├── newtag.bench ├── newtag.cnf ├── newtpla1.aig ├── newtpla1.bench ├── newtpla1.cnf ├── ryy6.aig ├── ryy6.bench └── ryy6.cnf └── src ├── CMakeLists.txt ├── commands ├── cnf.hpp └── matrix_calc.hpp ├── core ├── cnf.cpp ├── cnf.hpp ├── matrix.hpp └── matrix_calc.hpp └── phySAT.cpp /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/panhomyoung/phySAT/HEAD/.gitignore -------------------------------------------------------------------------------- /.gitmodules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/panhomyoung/phySAT/HEAD/.gitmodules -------------------------------------------------------------------------------- /CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/panhomyoung/phySAT/HEAD/CMakeLists.txt -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/panhomyoung/phySAT/HEAD/LICENSE -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/panhomyoung/phySAT/HEAD/README.md -------------------------------------------------------------------------------- /benchmark/alu1.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/panhomyoung/phySAT/HEAD/benchmark/alu1.aig -------------------------------------------------------------------------------- /benchmark/alu1.bench: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/panhomyoung/phySAT/HEAD/benchmark/alu1.bench -------------------------------------------------------------------------------- /benchmark/alu1.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/panhomyoung/phySAT/HEAD/benchmark/alu1.cnf -------------------------------------------------------------------------------- /benchmark/c17.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/panhomyoung/phySAT/HEAD/benchmark/c17.aig -------------------------------------------------------------------------------- /benchmark/c17.bench: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/panhomyoung/phySAT/HEAD/benchmark/c17.bench -------------------------------------------------------------------------------- /benchmark/c17.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/panhomyoung/phySAT/HEAD/benchmark/c17.cnf -------------------------------------------------------------------------------- /benchmark/c171.bench: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/panhomyoung/phySAT/HEAD/benchmark/c171.bench -------------------------------------------------------------------------------- /benchmark/c172.bench: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/panhomyoung/phySAT/HEAD/benchmark/c172.bench -------------------------------------------------------------------------------- /benchmark/c432.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/panhomyoung/phySAT/HEAD/benchmark/c432.aig -------------------------------------------------------------------------------- /benchmark/clpl.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/panhomyoung/phySAT/HEAD/benchmark/clpl.aig -------------------------------------------------------------------------------- /benchmark/clpl.bench: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/panhomyoung/phySAT/HEAD/benchmark/clpl.bench -------------------------------------------------------------------------------- /benchmark/clpl.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/panhomyoung/phySAT/HEAD/benchmark/clpl.cnf -------------------------------------------------------------------------------- /benchmark/cm138a.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/panhomyoung/phySAT/HEAD/benchmark/cm138a.aig -------------------------------------------------------------------------------- /benchmark/cm138a.bench: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/panhomyoung/phySAT/HEAD/benchmark/cm138a.bench -------------------------------------------------------------------------------- /benchmark/cm138a.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/panhomyoung/phySAT/HEAD/benchmark/cm138a.cnf -------------------------------------------------------------------------------- /benchmark/cm152a.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/panhomyoung/phySAT/HEAD/benchmark/cm152a.aig -------------------------------------------------------------------------------- /benchmark/cm152a.bench: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/panhomyoung/phySAT/HEAD/benchmark/cm152a.bench -------------------------------------------------------------------------------- /benchmark/cm152a.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/panhomyoung/phySAT/HEAD/benchmark/cm152a.cnf -------------------------------------------------------------------------------- /benchmark/cm162a.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/panhomyoung/phySAT/HEAD/benchmark/cm162a.aig -------------------------------------------------------------------------------- /benchmark/cm162a.bench: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/panhomyoung/phySAT/HEAD/benchmark/cm162a.bench -------------------------------------------------------------------------------- /benchmark/cm162a.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/panhomyoung/phySAT/HEAD/benchmark/cm162a.cnf -------------------------------------------------------------------------------- /benchmark/cm163a.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/panhomyoung/phySAT/HEAD/benchmark/cm163a.aig -------------------------------------------------------------------------------- /benchmark/cm163a.bench: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/panhomyoung/phySAT/HEAD/benchmark/cm163a.bench -------------------------------------------------------------------------------- /benchmark/cm163a.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/panhomyoung/phySAT/HEAD/benchmark/cm163a.cnf -------------------------------------------------------------------------------- /benchmark/cm42a.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/panhomyoung/phySAT/HEAD/benchmark/cm42a.aig -------------------------------------------------------------------------------- /benchmark/cm42a.bench: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/panhomyoung/phySAT/HEAD/benchmark/cm42a.bench -------------------------------------------------------------------------------- /benchmark/cm42a.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/panhomyoung/phySAT/HEAD/benchmark/cm42a.cnf -------------------------------------------------------------------------------- /benchmark/cm82a.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/panhomyoung/phySAT/HEAD/benchmark/cm82a.aig -------------------------------------------------------------------------------- /benchmark/cm82a.bench: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/panhomyoung/phySAT/HEAD/benchmark/cm82a.bench -------------------------------------------------------------------------------- /benchmark/cm82a.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/panhomyoung/phySAT/HEAD/benchmark/cm82a.cnf -------------------------------------------------------------------------------- /benchmark/cm85a.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/panhomyoung/phySAT/HEAD/benchmark/cm85a.aig -------------------------------------------------------------------------------- /benchmark/cm85a.bench: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/panhomyoung/phySAT/HEAD/benchmark/cm85a.bench -------------------------------------------------------------------------------- /benchmark/cm85a.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/panhomyoung/phySAT/HEAD/benchmark/cm85a.cnf -------------------------------------------------------------------------------- /benchmark/con1.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/panhomyoung/phySAT/HEAD/benchmark/con1.aig -------------------------------------------------------------------------------- /benchmark/con1.bench: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/panhomyoung/phySAT/HEAD/benchmark/con1.bench -------------------------------------------------------------------------------- /benchmark/con1.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/panhomyoung/phySAT/HEAD/benchmark/con1.cnf -------------------------------------------------------------------------------- /benchmark/dc1.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/panhomyoung/phySAT/HEAD/benchmark/dc1.aig -------------------------------------------------------------------------------- /benchmark/dc1.bench: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/panhomyoung/phySAT/HEAD/benchmark/dc1.bench -------------------------------------------------------------------------------- /benchmark/dc1.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/panhomyoung/phySAT/HEAD/benchmark/dc1.cnf -------------------------------------------------------------------------------- /benchmark/majority.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/panhomyoung/phySAT/HEAD/benchmark/majority.aig -------------------------------------------------------------------------------- /benchmark/majority.bench: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/panhomyoung/phySAT/HEAD/benchmark/majority.bench -------------------------------------------------------------------------------- /benchmark/majority.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/panhomyoung/phySAT/HEAD/benchmark/majority.cnf -------------------------------------------------------------------------------- /benchmark/newcwp.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/panhomyoung/phySAT/HEAD/benchmark/newcwp.aig -------------------------------------------------------------------------------- /benchmark/newcwp.bench: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/panhomyoung/phySAT/HEAD/benchmark/newcwp.bench -------------------------------------------------------------------------------- /benchmark/newcwp.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/panhomyoung/phySAT/HEAD/benchmark/newcwp.cnf -------------------------------------------------------------------------------- /benchmark/newill.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/panhomyoung/phySAT/HEAD/benchmark/newill.aig -------------------------------------------------------------------------------- /benchmark/newill.bench: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/panhomyoung/phySAT/HEAD/benchmark/newill.bench -------------------------------------------------------------------------------- /benchmark/newill.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/panhomyoung/phySAT/HEAD/benchmark/newill.cnf -------------------------------------------------------------------------------- /benchmark/newtag.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/panhomyoung/phySAT/HEAD/benchmark/newtag.aig -------------------------------------------------------------------------------- /benchmark/newtag.bench: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/panhomyoung/phySAT/HEAD/benchmark/newtag.bench -------------------------------------------------------------------------------- /benchmark/newtag.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/panhomyoung/phySAT/HEAD/benchmark/newtag.cnf -------------------------------------------------------------------------------- /benchmark/newtpla1.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/panhomyoung/phySAT/HEAD/benchmark/newtpla1.aig -------------------------------------------------------------------------------- /benchmark/newtpla1.bench: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/panhomyoung/phySAT/HEAD/benchmark/newtpla1.bench -------------------------------------------------------------------------------- /benchmark/newtpla1.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/panhomyoung/phySAT/HEAD/benchmark/newtpla1.cnf -------------------------------------------------------------------------------- /benchmark/ryy6.aig: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/panhomyoung/phySAT/HEAD/benchmark/ryy6.aig -------------------------------------------------------------------------------- /benchmark/ryy6.bench: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/panhomyoung/phySAT/HEAD/benchmark/ryy6.bench -------------------------------------------------------------------------------- /benchmark/ryy6.cnf: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/panhomyoung/phySAT/HEAD/benchmark/ryy6.cnf -------------------------------------------------------------------------------- /src/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/panhomyoung/phySAT/HEAD/src/CMakeLists.txt -------------------------------------------------------------------------------- /src/commands/cnf.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/panhomyoung/phySAT/HEAD/src/commands/cnf.hpp -------------------------------------------------------------------------------- /src/commands/matrix_calc.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/panhomyoung/phySAT/HEAD/src/commands/matrix_calc.hpp -------------------------------------------------------------------------------- /src/core/cnf.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/panhomyoung/phySAT/HEAD/src/core/cnf.cpp -------------------------------------------------------------------------------- /src/core/cnf.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/panhomyoung/phySAT/HEAD/src/core/cnf.hpp -------------------------------------------------------------------------------- /src/core/matrix.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/panhomyoung/phySAT/HEAD/src/core/matrix.hpp -------------------------------------------------------------------------------- /src/core/matrix_calc.hpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/panhomyoung/phySAT/HEAD/src/core/matrix_calc.hpp -------------------------------------------------------------------------------- /src/phySAT.cpp: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/panhomyoung/phySAT/HEAD/src/phySAT.cpp --------------------------------------------------------------------------------