Sign Up
Log In
Log In
or
Sign Up
Places
All Projects
Status Monitor
Collapse sidebar
home:gatoatigrado1
sketch-cegis
Overview
Repositories
Revisions
Requests
Users
Attributes
Meta
Meta Configuration of Package sketch-cegis
<package name="sketch-cegis" project="home:gatoatigrado1"> <title>CEGIS solver for SKETCH</title> <description>CounterExample Guided Inductive Synthesis solver for SKETCH</description> <build> <enable arch="x86_64" repository="Fedora_12"/> <enable arch="i586" repository="Fedora_12"/> <enable arch="x86_64" repository="openSUSE_11.2"/> <enable arch="i586" repository="openSUSE_11.2"/> </build> </package>
Locations
Projects
Search
Status Monitor
Help
OpenBuildService.org
Documentation
API Documentation
Code of Conduct
Contact
Support
@OBShq
Terms
openSUSE Build Service is sponsored by
The Open Build Service is an
openSUSE project
.
Sign Up
Log In
Places
Places
All Projects
Status Monitor