Project

General

Profile

Roadmap

0.4

open

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

80%

48 issues   (38 closed10 open)