dzufferey / scala-qepcad-interface

Some scala code to call QEPCAD for quantifier elimination queries

scala-qepcad-interface

A scala library to interface with QEPCAD

Examples

See src/test/scala/dzufferey/qepcad/QepcadTest.scala for an example on how to use the library.

Compiling

This project requires java 6 and can be build it using sbt. To install sbt follow the instructions at http://www.scala-sbt.org/release/tutorial/Setup.html.

Then, in a console, execute:

$ sbt
> compile