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"