Roadmap

0.4

Features: support for CVC4; simple constraint solver(s); structures

48%

34 issues   (16 closed18 open)