liffiton/PyMiniSolvers
A Python API for the MiniSat and MiniCard constraint solvers.
Developer Profile
liffiton
Discovered public repositories for liffiton in the GitHub catalog.
liffiton/LibTempTMP421
Library for Modern Device Temp Sensor (TMP421)
liffiton/minicard
MiniCard: An efficient cardinality solver based on MiniSAT
liffiton/Arduino-Cheat-Sheet
A cheat sheet for Arduino programming.
liffiton/dokuwiki-plugin-mathjax
MathJax plugin for DokuWiki
liffiton/code2tex
Convert source code to a LaTeX document / PDF with syntax highlighting and line numbers.