Generate data from B/Event-B predicates which can be used to train statistical models predicting components for inductive program synthesis.
Latest commits.
Builders behind this project.
