Planning and Scheduling Technology Laboratory

MetaCognition Public

MetaCognition Representation and Reasoning Component developed within the CNR-DFKI collaborative project

Java 0 0 6 0 Updated Aug 19, 2026

CoCo Public

Combined deduCtiOn and abduCtiOn logical reasoner

Rust 0MIT 0 0 0 Updated Aug 18, 2026

SeMiTONE Public

Satisfiability Modulo TheOries NEtwork (SeMiTONE)

Rust 0MIT 0 0 0 Updated Aug 12, 2026

RiDDLe Public

RiDDLe (Rational Domain Definition Language) is an object-oriented language for defining timeline-based planning domains and problems

Rust 0MIT 0 0 0 Updated Aug 7, 2026

ERMES Public

Urban Ecosystem for Active and Healthy Aging

Rust 0MIT 0 0 0 Updated Jul 22, 2026

AIxIA26 Public

0 0 0 0 Updated Jul 6, 2026

icaps2026.github.io.planrob Public Forked from icaps2026/icaps2026.github.io

Website for ICAPS 2026

HTML 0CC0-1.0 56 0 0 Updated Jun 29, 2026

WatchSAT Public

A high-performance CDCL SAT engine with Two-Watched Literals in Rust

Rust 0MIT 0 0 0 Updated Jun 20, 2026

LinArith Public

An incremental linear feasibility solver over rational numbers

Rust 0MIT 0 0 0 Updated Jun 17, 2026

AC-3rm Public

An incremental AC-3rm propagator in Rust with dynamic assertion and retraction of constraints

Rust 0MIT 0 0 0 Updated Jun 15, 2026

Navigation Menu

Uh oh!

Uh oh!

Planning and Scheduling Technology Laboratory

Pinned Loading

Repositories

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

Uh oh!

People

Top languages

Uh oh!

Most used topics

Uh oh!