Synthesizing sets of functions from a specification, using SAT
Primary LanguageHaskellBSD 2-Clause "Simplified" LicenseBSD-2-Clause