Roadmap

0.4

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

42%

32 issues   (12 closed20 open)