OKullmann/oklibrary — pull request #281 by MGwynne (2011-10-19 15:05:31+00:00)
Title: Sat4j install

Branch: sat4j_install.

SAT4J does build with gcj.

The next question is how to get this "ant" tool (Javaised version of make using xml files) to build using *our* version of gcj.

Matthew