Skip to content

GitLab

Explore

Sign in

retyno

Project information

Reasoner for restricted cardinality constraints over ALC concept descriptions. Implemented on top of the Z3 solver.

reasoner numerical co...

26 Commits
2 Branches
0 Tags

README
MIT License

Created on

January 04, 2021

Loading