regb/scala-smtlib
Scala library for parsing and printing the SMT-LIB format
Developer Profile
regb
Discovered public repositories for regb in the GitHub catalog.
regb/recipe-book
My favourite recipes
regb/leon
The Leon system for verification, synthesis, and more.
regb/passman
Password manager for unix
regb/kalec
2d game in C++
regb/scabolic
Package for a computer algebra system integrated with satisfiability modulo theory algorithms, developed in Scala.