%PDF-1.4 %���� SingleKoppu v1.0
Name Type Dwonload Rename Dalete
../back [dir] null null null
patch-minisat_core_Solver.cc [file] ≚ ⨂
patch-minisat_core_SolverTypes.h [file] ≚ ⨂
patch-minisat_utils_Options.h [file] ≚ ⨂

/usr/ports/math/minisat/files