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)