Project

General

Profile

0.4

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

72%

42 issues   (30 closed12 open)

Time tracking
Estimated time 0.00 hour
Spent time 0.00 hour
Issues by
Bug

6/6

Feature

8/11

Task

16/25