Project

General

Profile

0.4

open

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

80%

48 issues   (38 closed10 open)

Issues by
Bug

8/9

Feature

9/11

Task

21/28