Mark Liffiton

Results 5 repositories owned by


                                            Mark Liffiton

138

Stars

Forks

Watchers

A cheat sheet for Arduino programming.

Stars

Forks

Watchers

Convert source code to a LaTeX document / PDF with syntax highlighting and line numbers.

Stars

Forks

Watchers

A Python implementation of the MARCO/MARCOs algorithm for enumerating MUSes and MSS/MCSes of infeasible constraint systems.

Stars

Forks

Watchers

MiniCard: An efficient cardinality solver based on MiniSAT

Stars

Forks

Watchers

A Python API for the MiniSat and MiniCard constraint solvers.