Discover projects, groups and snippets. Share your projects with others
R Interface to C API of GLPK, needs GLPK Version >= 4.42
Public codebase for "LAVA: Latent Action Spaces via Variational Auto-encoding for Dialogue Policy Optimization" published in COLING 2020.
This repository deals with the data exploration of the data contained in D-BAS.
This is a short example for requesting data with neo4j-driver in a node.js project.
A Java-based Jupyter kernel for ProB 2
ProB Modelling Examples as Jupyter Notebooks.
The ProB Model Checker and Animator Plugin for Rodin
Public Jupyter teaching notebooks for use with the ProB kernel for Jupyter.