Skip to content

@ratioSolver ratioSolver

Change the repository type filter

All

    Repositories list

    24 repositories

    • COCO

      Public
      deduCtiOn and abduCtiOn logical reasoner
      C++
      •
      Apache License 2.0
      •0•0•1•0•Updated Feb 19, 2026Feb 19, 2026

    • rust-clips

      Public
      Rust bindings for CLIPS: A Cargo workspace providing low-level FFI bindings (clips-sys) and a safe, idiomatic Rust wrapper (clips-rs) for the CLIPS expert syste…
      Rust
      •0•0•0•0•Updated Feb 18, 2026Feb 18, 2026

    • Flick

      Public
      A minimal TypeScript UI framework for building reactive interfaces with zero bloat.
      TypeScript
      •
      Apache License 2.0
      •0•1•0•0•Updated Feb 14, 2026Feb 14, 2026

    • Chronoxide

      Public
      Chronoxide is a high-performance, timeline-based planner built in Rust
      Rust
      •
      MIT License
      •0•0•0•0•Updated Jan 27, 2026Jan 27, 2026

    • PlExA

      Public
      Plan Executor and Adaptor (PlExA)
      plan-executionplan-adaptation
      C++
      •
      Apache License 2.0
      •0•0•0•0•Updated Jan 24, 2026Jan 24, 2026

    • oRatio

      Public
      oRatio is an Integrated Logic and Constraint based solver
      constraint-programminglogic-programmingautomated-planningconstraint-logic-programmingtimeline-based-planning
      C++
      •
      Apache License 2.0
      •1•3•1•0•Updated Jan 24, 2026Jan 24, 2026

    • RiDDLe

      Public
      Rational Domain Definition Language (RiDDLe)
      programming-languageconstraint-programminglogic-programmingconstraint-logic-programming
      C++
      •
      Apache License 2.0
      •0•0•1•0•Updated Jan 9, 2026Jan 9, 2026

    • arc-consistency

      Public
      A C++ implementation of the Arc Consistency (AC-6) algorithm for constraint satisfaction problems (CSPs). This project demonstrates domain pruning to efficientl…
      C++
      •
      Apache License 2.0
      •0•0•0•0•Updated Jan 9, 2026Jan 9, 2026

    • LinSpire

      Public
      Incremental and dynamic linear feasibility solver for large-scale systems
      C++
      •
      Apache License 2.0
      •0•0•0•0•Updated Jan 9, 2026Jan 9, 2026

    • ratioNet

      Public
      C++
      •
      Apache License 2.0
      •0•0•0•0•Updated Dec 22, 2025Dec 22, 2025

    • SeMiTONE

      Public
      Satisfiability Modulo TheOries NEtwork (SeMiTONE)
      satisfiability-modulo-theories
      C++
      •
      Apache License 2.0
      •0•0•0•0•Updated Dec 22, 2025Dec 22, 2025

    • json

      Public
      A very simple JSON library
      C++
      •
      Apache License 2.0
      •1•0•0•0•Updated Dec 22, 2025Dec 22, 2025

    • Utils

      Public
      Just some simple utilities
      C++
      •
      Apache License 2.0
      •0•0•0•0•Updated Dec 22, 2025Dec 22, 2025

    • DeltaCSP

      Public
      A modern C++ library for solving Constraint Satisfaction Problems (CSPs) using local search techniques.
      C++
      •
      Apache License 2.0
      •0•0•0•0•Updated Oct 23, 2025Oct 23, 2025

    • Scripta

      Public
      A modern C++ templating engine for generating text, configs, or code from structured data.
      C++
      •
      Apache License 2.0
      •0•0•0•0•Updated Sep 16, 2025Sep 16, 2025

    • ratioGUI

      Public
      Planner, executer and adapter graphical user interface
      JavaScript
      •
      Apache License 2.0
      •0•0•0•0•Updated Jan 13, 2025Jan 13, 2025

    • cocoGUI

      Public
      deduCtiOn and abduCtiOn visualization library
      C++
      •
      Apache License 2.0
      •0•0•0•0•Updated Dec 16, 2024Dec 16, 2024

    • onto

      Public
      C++ library designed for handling OWL DL (Web Ontology Language Description Logic) ontologies
      C++
      •
      Apache License 2.0
      •0•1•0•0•Updated Jul 14, 2024Jul 14, 2024

    • PyRatio

      Public
      Python API for the oRatio solver
      pythonconstraint-programminglogic-programmingautomated-planningconstraint-logic-programmingtimeline-based-planning
      C++
      •
      Apache License 2.0
      •0•1•0•0•Updated Jun 19, 2023Jun 19, 2023

    • .github

      Public
      0•0•0•0•Updated Mar 23, 2023Mar 23, 2023

    • ratioCore

      Public archive
      C++
      •
      Apache License 2.0
      •0•0•0•0•Updated Feb 15, 2023Feb 15, 2023

    • ratio4J

      Public
      Java API for the oRatio solver
      javaconstraint-programminglogic-programmingautomated-planningconstraint-logic-programming
      Java
      •
      Apache License 2.0
      •0•1•0•0•Updated Dec 5, 2022Dec 5, 2022

    • RatiOS

      Public
      A ROS2 package for interacting with oRatio
      roboticsros2automated-planningtimeline-based-planning
      C++
      •
      Apache License 2.0
      •0•0•0•0•Updated Nov 24, 2022Nov 24, 2022

    • AerialS

      Public
      A ROS2 package defining Actions and Services for interacting with a deliberative tier
      ros2
      CMake
      •
      Apache License 2.0
      •0•0•0•0•Updated Nov 24, 2022Nov 24, 2022