Indexed Artifacts (11.2M)

Popular Categories

Artifacts using Prologlib (12)

Sort: popular | newest
Part of the ProB Parser library
Last Release on Jul 18, 2018
Part of the ProB Parser library
Last Release on Jul 18, 2018
Part of the ProB Parser library
Last Release on Jul 18, 2018
Translator from TLA+ to ProB's AST representation.
Last Release on Jul 20, 2017
Part of the ProB Parser library
Last Release on Jul 18, 2018
The ProB 2.0 Kernel
Last Release on Aug 10, 2018
Parser for a LTL Pattern DSL
Last Release on Jun 11, 2018


Part of the ProB Parser library
Last Release on Jul 18, 2018
Part of the ProB Parser library
Last Release on Jul 18, 2018
Wrapper to use Kodkod in ProB.
Last Release on Oct 7, 2016