ML-KULeuven / incal Public

Notifications You must be signed in to change notification settings
Fork 3
Star 6

Learn SMT(LRA) constraints from data

6 stars 3 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 157 Commits
incal		incal
notebooks		notebooks
scripts		scripts
.gitignore		.gitignore
README.md		README.md
plotting_commands.txt		plotting_commands.txt
setup.py		setup.py

Repository files navigation

INCAL

INCAL is an incremental SMT constraint learner

Documentation coming soon...

About

Learn SMT(LRA) constraints from data

Custom properties

Report repository

Releases

No releases published

Packages

No packages published

Contributors 2

Languages