Skip to content

asolarlez/sketch-backend

Repository files navigation

Name: sketch-backend
Project: SKETCH CEGIS solver
Institution: MIT
Authors: Armando Solar-Lezama et al.


=== Building ===

If you are using windows, start by running
    >>> bash convertScripts.sh

If you are using OpenSuSE 11.3, to work around gcc 4.5 incompatibilities, install gcc43 and gcc43-cpp, and run (prior to configuring)
    >>> export CC=gcc-4.3
    >>> export CXX=g++-4.3

Then, configure and make SKETCH
    >>> ./autogen.sh
    >>> ./configure
    >>> make

=== Distributing ===

The frontend project, sketch-frontend, now handles building of all binary jar's (jar's which will extract the CEGIS backend automatically).

About

No description, website, or topics provided.

Resources

License

Unknown, Unknown licenses found

Licenses found

Unknown
LICENSE
Unknown
COPYING

Stars

Watchers

Forks

Releases

No releases published

Packages

No packages published