Explore projects

library for creating and using statemachines : lts,fsm and efsm

Software to run the pipelines, work with database, etc.

Bron van de slides voor introductiepraatjes van C&CZ.

Some of the scripts used for the RERS challenge 2016

just temporary, will be incorporated into prasopes once ready

We compare the existing RA learners (Tomte and RALib) on a set of benchmarks and analyze the statistics. The project includes the binaries of the tools, as well as scripts that automatically generate models, run and collect data.

Build and CI scripts for Clean

THIS IS A MIRROR!!!

Please add issues and pull requests on https://github.com/timjs/clean-core