LogoopenSUSE Build Service > Projects
Sign Up | Log In

CEGIS solver for SKETCH

CounterExample Guided Inductive Synthesis solver for SKETCH

Source Files

Filename Size Changed Actions
sketch-cegis-1.4.0.dsc 790 Bytes almost 8 years ago Download File
sketch-cegis.spec 1.45 KB almost 8 years ago Download File
sketch-cegis_1.4.0.orig.tar.gz 6.98 MB almost 8 years ago

Comments for home:gatoatigrado1 (0)