CEGIS solver for SKETCH
CounterExample Guided Inductive Synthesis solver for SKETCH
- Download package
-
Checkout Package
osc -A https://api.opensuse.org checkout home:gatoatigrado1/sketch-cegis && cd $_
- Create Badge
Refresh
Refresh
Source Files
Filename | Size | Changed |
---|---|---|
sketch-cegis-1.4.0.dsc | 0000000790 790 Bytes | |
sketch-cegis.spec | 0000001489 1.45 KB | |
sketch-cegis_1.4.0.orig.tar.gz | 0007319571 6.98 MB |
Latest Revision
nicholas tung (gatoatigrado1)
committed
(revision 52)
change architecture from "all" (independent) to "any"
Comments 0