The OMiGA solver for Answer-Set Programming
Switch branches/tags
Nothing to show
Clone or download
Fetching latest commit…
Cannot retrieve the latest commit at this time.
Permalink
Failed to load latest commit information.
Documents
dist-standalone
dist
examples
grammar
lib
nbproject
src
test
testLocalSolver
.gitignore
AUTHORS.TXT
LICENSE.TXT
README.TXT
build.xml
manifest.mf
omiga-testcases.tar.gz
run_test.sh
run_test_lsolve.sh

README.TXT

 Omiga uses the following libraries:
- ANTLR (BSD license) 
- jGraphT http://jgrapht.org/ (licensed under LGPL).