Pinned Repositories
AerialS
A ROS2 package defining Actions and Services for interacting with a deliberative tier
cocoGUI
deduCtiOn and abduCtiOn visualization library
json
A very simple JSON library
onto
C++ library designed for handling OWL DL (Web Ontology Language Description Logic) ontologies
oRatio
oRatio is an Integrated Logic and Constraint based solver
PyRatio
Python API for the oRatio solver
ratio4J
Java API for the oRatio solver
ratioNet
SeMiTONE
Satisfiability Modulo TheOries NEtwork (SeMiTONE)
Utils
Just some simple utilities
ratioSolver's Repositories
ratioSolver/oRatio
oRatio is an Integrated Logic and Constraint based solver
ratioSolver/onto
C++ library designed for handling OWL DL (Web Ontology Language Description Logic) ontologies
ratioSolver/PyRatio
Python API for the oRatio solver
ratioSolver/ratio4J
Java API for the oRatio solver
ratioSolver/.github
ratioSolver/AerialS
A ROS2 package defining Actions and Services for interacting with a deliberative tier
ratioSolver/cocoGUI
deduCtiOn and abduCtiOn visualization library
ratioSolver/json
A very simple JSON library
ratioSolver/PlExA
Plan Executor and Adaptor (PlExA)
ratioSolver/ratioCore
ratioSolver/ratioGUI
Planner, executer and adapter graphical user interface
ratioSolver/ratioNet
ratioSolver/RatiOS
A ROS2 package for interacting with oRatio
ratioSolver/RiDDLe
Rational Domain Definition Language (RiDDLe)
ratioSolver/SeMiTONE
Satisfiability Modulo TheOries NEtwork (SeMiTONE)
ratioSolver/Utils
Just some simple utilities
ratioSolver/COCO
deduCtiOn and abduCtiOn logical reasoner