Lexer for CVC input language

Issue #1425 new
Ryan Govostes
created an issue

The CVC language is an input language for constraint solvers. It originated with the CVC tool and is also supported by STP.

Here is, I believe, the most comprehensive language reference.

Comments (0)

  1. Log in to comment