Beast code in Giters

ratioSolver's repositories

oRatio is an Integrated Logic and Constraint based solver

Language:C++Apache-2.03 1 5

Python API for the oRatio solver

Language:C++Apache-2.01 1 1

Java API for the oRatio solver

Language:JavaApache-2.01 20

000

A ROS2 package defining Actions and Services for interacting with a deliberative tier

Language:CMakeApache-2.0000

A very simple JSON library

Language:C++Apache-2.0000

Plan Executor and Adaptor (PlExA)

Language:C++Apache-2.0000

Language:C++Apache-2.0000

Planner, executer and adapter graphical user interface

Language:JavaScriptApache-2.0000

A ROS2 package for interacting with oRatio

Language:C++Apache-2.0010

Rational Domain Definition Language (RiDDLe)

Language:C++Apache-2.001 2

Satisfiability Modulo TheOries NEtwork (SeMiTONE)

Language:C++Apache-2.0010

Language:C++Apache-2.0000

Just some simple utilities

Language:C++Apache-2.0000