mirror of
https://git.FreeBSD.org/ports.git
synced 2025-02-04 11:23:46 +00:00
31 lines
791 B
Plaintext
31 lines
791 B
Plaintext
@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
|