A library for non-deterministic computation through satisfiability reductions. This project is obviated by satisfiability-modulo-theories (SMTLIB).
Primary LanguageHaskell
This repository is not active