Home

Getting started

Warthog is written in Scala and we use SBT as our build tool. A good place to get the necessary tools, documentation and help is the Typesafe homepage.

Once you have installed Scala and SBT, you can just run

$ sbt console

to start a console with the necessary Warthog files compiled and already imported.

You can test if everything works by executing the following code on the console:

scala> val phi = "(x & y => ~ x & ~y) & x & y".pl
scala> import org.warthog.pl.knowledgecompilation.bdd.BDDManager
scala> val m = new BDDManager()
scala> m.isContradiction(m.mkBDD(phi))

This should true since the formula phi is indeed a contradiction.

---

• Setting Up an IntelliJ IDEA Project