Create your own GitHub profile
Sign up for your own profile on GitHub, the best place to host code, manage projects, and build software alongside 36 million developers.Sign up
A cheat sheet for Arduino programming.
Convert source code to a LaTeX document / PDF with syntax highlighting and line numbers.
MiniCard: An efficient cardinality solver based on MiniSAT
A Python API for the MiniSat and MiniCard constraint solvers.
MathJax plugin for DokuWiki
A Python implementation of the MARCO/MARCOs algorithm for enumerating MUSes and MSS/MCSes of infeasible constraint systems.
243 contributions in the last year
Created a pull request in cwaldbieser/jhub_cas_authenticator that received 2 comments
Logout was failing with a 500 server error because
self.get_current_user() was returning a coroutine. I'm not sure when that changed, but I expect …