retyno

Project information

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

Created on

January 04, 2021

Copy SSH clone URLgit@gitlab.tcs.inf.tu-dresden.de:s5845789/retyno.git
Copy HTTPS clone URLhttps://gitlab.tcs.inf.tu-dresden.de/s5845789/retyno.git

Loading