projects / yosys.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9087ece) | patch
Added libs/minisat (copy of minisat git master)
authorClifford Wolf <clifford@clifford.at>
Wed, 12 Mar 2014 09:17:51 +0000 (10:17 +0100)
committerClifford Wolf <clifford@clifford.at>
Wed, 12 Mar 2014 09:17:51 +0000 (10:17 +0100)
commit94c1307c262e4b14f4a91b1bbcf9099ee6202bab
treeaae192666509ba533b9a9640679a55b002cd869dtree
parent9087ece97c20d76359fb23cfd7a0f13552c1f2fdcommit | diff
Added libs/minisat (copy of minisat git master)
28 files changed:
Makefile diff | blob | history
README diff | blob | history
kernel/satgen.h diff | blob | history
libs/ezsat/ezminisat.cc diff | blob | history
libs/minisat/Alg.h [new file with mode: 0644] blob
libs/minisat/Alloc.h [new file with mode: 0644] blob
libs/minisat/Dimacs.h [new file with mode: 0644] blob
libs/minisat/Heap.h [new file with mode: 0644] blob
libs/minisat/IntMap.h [new file with mode: 0644] blob
libs/minisat/IntTypes.h [new file with mode: 0644] blob
libs/minisat/LICENSE [new file with mode: 0644] blob
libs/minisat/Map.h [new file with mode: 0644] blob
libs/minisat/Options.cc [new file with mode: 0644] blob
libs/minisat/Options.h [new file with mode: 0644] blob
libs/minisat/ParseUtils.h [new file with mode: 0644] blob
libs/minisat/Queue.h [new file with mode: 0644] blob
libs/minisat/Rnd.h [new file with mode: 0644] blob
libs/minisat/SimpSolver.cc [new file with mode: 0644] blob
libs/minisat/SimpSolver.h [new file with mode: 0644] blob
libs/minisat/Solver.cc [new file with mode: 0644] blob
libs/minisat/Solver.h [new file with mode: 0644] blob
libs/minisat/SolverTypes.h [new file with mode: 0644] blob
libs/minisat/Sort.h [new file with mode: 0644] blob
libs/minisat/System.cc [new file with mode: 0644] blob
libs/minisat/System.h [new file with mode: 0644] blob
libs/minisat/UPDATE.sh [new file with mode: 0644] blob
libs/minisat/Vec.h [new file with mode: 0644] blob
libs/minisat/XAlloc.h [new file with mode: 0644] blob