From e03359c0aac5d86660e0818719b7abaea7c6415b Mon Sep 17 00:00:00 2001 From: Vsevolod Stakhov Date: Wed, 18 Sep 2013 13:28:06 +0000 Subject: Add minisat port - a lightweight SAT solver. --- math/minisat/pkg-plist | 30 ++++++++++++++++++++++++++++++ 1 file changed, 30 insertions(+) create mode 100644 math/minisat/pkg-plist (limited to 'math/minisat/pkg-plist') diff --git a/math/minisat/pkg-plist b/math/minisat/pkg-plist new file mode 100644 index 000000000000..5bf7e3727f3a --- /dev/null +++ b/math/minisat/pkg-plist @@ -0,0 +1,30 @@ +@comment $FreeBSD$ + +bin/minisat +include/minisat/mtl/XAlloc.h +include/minisat/mtl/Heap.h +include/minisat/mtl/IntTypes.h +include/minisat/mtl/IntMap.h +include/minisat/mtl/Sort.h +include/minisat/mtl/Rnd.h +include/minisat/mtl/Alg.h +include/minisat/mtl/Vec.h +include/minisat/mtl/Alloc.h +include/minisat/mtl/Map.h +include/minisat/mtl/Queue.h +include/minisat/utils/Options.h +include/minisat/utils/ParseUtils.h +include/minisat/utils/System.h +include/minisat/core/Solver.h +include/minisat/core/Dimacs.h +include/minisat/core/SolverTypes.h +include/minisat/simp/SimpSolver.h +lib/libminisat.so.2.1.0 +lib/libminisat.so.2 +lib/libminisat.so +lib/libminisat.a +@dirrmtry include/minisat/utils +@dirrmtry include/minisat/simp +@dirrmtry include/minisat/mtl +@dirrmtry include/minisat/core +@dirrmtry include/minisat -- cgit v1.2.3