Project

General

Profile

Roadmap

0.4

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

74%

45 issues   (32 closed13 open)