| Line 9: | Line 9: | ||
*[http://www.stups.uni-duesseldorf.de/ProB/developer_tutorial Tutorial: Extending ProB] | *[http://www.stups.uni-duesseldorf.de/ProB/developer_tutorial Tutorial: Extending ProB] | ||
*[[Running ProB from source]] | *[[Running ProB from source]] | ||
*[[ProB's Prolog Datastructures]] | |||
== ProB Java API (aka ProB 2.0) == | == ProB Java API (aka ProB 2.0) == | ||
The documentation for the Java API to ProB can be found [[ProB_Java_API|here]]. | The documentation for the Java API to ProB can be found [[ProB_Java_API|here]]. | ||
The kernel of ProB is written in Prolog, the B parser is developed in Java using SableCC. The ProB parser is available on github. There is a comprehensive Java API available (also known as ProB 2.0).
The documentation for the Java API to ProB can be found here.