General data-binding functionality for Jackson: works on core streaming API

Add-on module to support JSR-310 (Java 8 Date & Time API) data types.

Add-on module for Jackson (https://github.com/FasterXML/jackson) to support

Add-on module for Jackson (https://github.com/FasterXML/jackson) to support

Guice is a lightweight dependency injection framework for Java 8 and above, developed by Google.

Parser for a subset of Prolog term syntax, used to read answers from the ProB Prolog core (probcli) in socket-server ...

ProB's parser for classical B

ProB's parsers for LTL and CTL formulas

Library for uniform access to the formal language parsers (used by ltlparser)

Library to construct and manipulate well-formed Prolog terms

Lexer that transforms Event-B expressions and predicates between ASCII, Unicode and LaTeX syntax

ProB's parser for theory mapping files (translation of Event-B operators to Prolog predicates)

Parser for a LTL Pattern DSL

The AST library extracted from the Rodin Platform.

Use the TLC model checker within ProB.

Library to translate Classical B values into Java objects.

API for SLF4J (The Simple Logging Facade for Java) which serves as a simple facade or abstraction for various logging ...

Port of Clojure's data structures to Java

Guava is a suite of core and expanded libraries that include

The Parser for our translation from Alloy to B returning a Prolog Term.

Translator from TLA+ to ProB's AST representation.

Core module of Apache Velocity, a Java-based template engine for generating text output.