Project

General

Profile

0.4

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

69%

44 issues   (30 closed14 open)

Issues by
Bug

6/7

Feature

8/11

Task

16/26