search

GaloisInc / what4

Symbolic formula representation and solver interaction library
155 stars 13 forks source link

SyGuS #226

Closed andreistefanescu closed 1 year ago

andreistefanescu commented 1 year ago

Add support for Syntax Guided Synthesis (SyGuS) and Constrained Horn Clauses (CHC).

andreistefanescu commented 1 year ago

@RyanGlScott do you know why the CI fails?