regb/scalax
Scala symbolic expressions
My favourite recipes
Public repository record indexed from GitHub. Explore verified star velocity metrics, source code repositories, and curated developer tool directories across the GitHubRepo ecosystem.
Scala symbolic expressions
The CafeSat SMT solver for Scala
Sudoku solver based on the CafeSat solver
Simulatation framework to optimize deck building