Explore projects

sybil - Efficient Constrained Based Modelling in R

This is a short example for requesting data with neo4j-driver in a node.js project.

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

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

Description: Python package sbmlxdf. Converts between SBML (.xml) and Pandas dataframes, Excel spreadsheets (.xlsx), *.csv. SBML model creation, modification, validation and access.

Tool for translating B to TLA+ for model checking with TLC. Alternative model checking backend for ProB.

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