package info (click to toggle)
minisat%2B 1.0-4
  • links: PTS, VCS
  • area: main
  • in suites: bookworm, bullseye, buster, sid, trixie
  • size: 600 kB
  • ctags: 1,322
  • sloc: cpp: 6,535; makefile: 74; sh: 23

Folder: 1.0-4

show hidden (1)
d .. (parent)
d d rwxr-xr-x 142 .pc
d d rwxr-xr-x 4,096 ADTs
d d rwxr-xr-x 83 Examples
d d rwxr-xr-x 4,096 debian
- - rw-r--r-- 3,942 Debug.C
- - rw-r--r-- 1,992 Debug.h
- - rw-r--r-- 1,935 Hardware.h
- - rw-r--r-- 4,888 Hardware_adders.C
- - rw-r--r-- 11,073 Hardware_clausify.C
- - rw-r--r-- 3,686 Hardware_sorters.C
- - rw-r--r-- 547 INSTALL
- - rw-r--r-- 1,090 LICENSE
- - rw-r--r-- 13,781 Main.C
- - rw-r--r-- 2,546 Main.h
- - rw-r--r-- 2,903 Makefile
- - rw-r--r-- 28,168 MiniSat.C
- - rw-r--r-- 10,602 MiniSat.h
- - rw-r--r-- 10,833 PbParser.C
- - rw-r--r-- 1,660 PbParser.h
- - rw-r--r-- 19,655 PbSolver.C
- - rw-r--r-- 6,593 PbSolver.h
- - rw-r--r-- 3,305 PbSolver_convert.C
- - rw-r--r-- 4,463 PbSolver_convertAdd.C
- - rw-r--r-- 3,269 PbSolver_convertBdd.C
- - rw-r--r-- 12,630 PbSolver_convertSort.C
- - rw-r--r-- 95,855 SatELite.C
- - rw-r--r-- 22,328 SatELite.h
- - rw-r--r-- 4,362 Solver.h
- - rw-r--r-- 3,649 SolverTypes.h
- - rw-r--r-- 3,749 VarOrder.h
- - rwxr-xr-x 324 minisat%2B_script