A Python API for the MiniSat and MiniCard constraint solvers.
Contributions:83 commits, 1 PR, 26 pushes in 9 years 8 months
pythonsolverminisat
Convert source code to a LaTeX document / PDF with syntax highlighting and line numbers.
Contributions:28 commits, 2 PRs, 11 pushes in 10 years 11 months
latexpdfsyntax-highlightingcode-highlight