Name | Date | Size | #Lines | LOC | ||
---|---|---|---|---|---|---|
.. | 03-May-2022 | - | ||||
Makefile | H A D | 03-May-2022 | 792 | 37 | 24 | |
cnf.cpp | H A D | 13-Nov-2007 | 4.3 KiB | 197 | 136 | |
cnf_manager.cpp | H A D | 28-Mar-2010 | 20.5 KiB | 705 | 506 | |
cnf_rules.h | H A D | 24-Mar-2010 | 2.1 KiB | 77 | 25 | |
cnf_theorem_producer.cpp | H A D | 28-Mar-2010 | 9.7 KiB | 333 | 193 | |
cnf_theorem_producer.h | H A D | 24-Mar-2010 | 1.8 KiB | 64 | 34 | |
dpllt_basic.cpp | H A D | 04-Nov-2008 | 13.7 KiB | 527 | 394 | |
dpllt_minisat.cpp | H A D | 01-Feb-2010 | 11.7 KiB | 389 | 215 | |
minisat_derivation.cpp | H A D | 04-Apr-2008 | 14.6 KiB | 457 | 288 | |
minisat_derivation.h | H A D | 22-Sep-2007 | 7.5 KiB | 236 | 96 | |
minisat_global.h | H A D | 27-Jun-2007 | 8.7 KiB | 235 | 120 | |
minisat_heap.h | H A D | 27-Jun-2007 | 4.5 KiB | 139 | 76 | |
minisat_solver.cpp | H A D | 23-Apr-2009 | 84.4 KiB | 2,783 | 1,639 | |
minisat_solver.h | H A D | 06-Apr-2010 | 27.2 KiB | 780 | 201 | |
minisat_types.cpp | H A D | 03-Jun-2008 | 1.9 KiB | 79 | 42 | |
minisat_types.h | H A D | 04-Apr-2008 | 6.8 KiB | 191 | 98 | |
minisat_varorder.h | H A D | 06-Apr-2010 | 4.6 KiB | 141 | 58 | |
sat_api.cpp | H A D | 15-Dec-2006 | 2.1 KiB | 78 | 51 | |
sat_proof.h | H A D | 12-Nov-2009 | 3.7 KiB | 117 | 62 | |
xchaff.cpp | H A D | 09-Aug-2006 | 2 KiB | 69 | 48 | |
xchaff.h | H A D | 11-Apr-2007 | 5.3 KiB | 151 | 116 | |
xchaff_base.h | H A D | 09-Aug-2006 | 9.9 KiB | 330 | 191 | |
xchaff_dbase.cpp | H A D | 04-Nov-2008 | 7.1 KiB | 225 | 139 | |
xchaff_dbase.h | H A D | 09-Aug-2006 | 8.5 KiB | 271 | 168 | |
xchaff_solver.cpp | H A D | 12-Nov-2007 | 31.1 KiB | 1,036 | 871 | |
xchaff_solver.h | H A D | 04-Nov-2008 | 11.3 KiB | 418 | 254 | |
xchaff_utils.cpp | H A D | 09-Aug-2006 | 2.3 KiB | 66 | 12 | |
xchaff_utils.h | H A D | 09-Aug-2006 | 2.2 KiB | 49 | 7 |