README.md
setup.cfg
setup.py
PEQNP.egg-info/PKG-INFO
PEQNP.egg-info/SOURCES.txt
PEQNP.egg-info/dependency_links.txt
PEQNP.egg-info/top_level.txt
include/Dimacs.h
include/ParseUtils.h
include/SLIME.h
include/SimpSolver.h
include/Solver.h
include/SolverTypes.h
include/pixie.h
include/pixie.hh
include/result.hh
include/simplex.hh
include/utils.hh
mtl/Alg.h
mtl/Alloc.h
mtl/Heap.h
mtl/IntTypes.h
mtl/Map.h
mtl/Queue.h
mtl/Sort.h
mtl/Vec.h
mtl/XAlloc.h
peqnp/__init__.py
peqnp/entity.py
peqnp/gaussian.py
peqnp/linear.py
peqnp/rational.py
peqnp/solver.py
peqnp/stdlib.py
peqnp/cnf/__init__.py
peqnp/cnf/atom.py
peqnp/cnf/csp.py
peqnp/cnf/stdlib.py
peqnp/sdk/__init__.py
peqnp/sdk/entity.py
peqnp/sdk/gaussian.py
peqnp/sdk/linear.py
peqnp/sdk/mip_solver.py
peqnp/sdk/rational.py
peqnp/sdk/sat_solver.py
peqnp/sdk/solver.py
peqnp/sdk/stdlib.py
src/SLIME.cc
src/SimpSolver.cc
src/Solver.cc
src/pixie.cc