This is your work, valued
mistral-smt. Clone of the Mistral SMT solver (http://www.cs.utexas.edu/~tdillig/mistral/index.html)
advent-of-code. Solutions to the adventofcode.com puzzles
