Explore projects

Presentation for the COMMA 2020 of "Structure or Content? Towards assessing Argument Relevance"

Bachelor's thesis project Mario Surleont

adds access to prob via vscode

A language server implementation for B, using ProB as backend, based on Java/Kotlin

The Camille Editor for Rodin

R Interface to C API of COIN-OR Clp, depends on COIN-OR Clp Version >= 1.12.0

R Interface to C API of IBM ILOG CPLEX, depends on IBM ILOG CPLEX (>= 12.1)