Project

General

Profile

0.4

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

73%

46 issues   (32 closed14 open)

Issues by
Bug

6/9

Feature

9/11

Task

17/26