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 over 7 years ago Download File
sketch-cegis.spec 1.45 KB over 7 years ago Download File
sketch-cegis_1.4.0.orig.tar.gz 6.98 MB over 7 years ago

Comments for home:gatoatigrado1 (0)