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