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

Comments for home:gatoatigrado1 (0)

Login required, please login or signup in order to comment