automated-reasoning topic

CreuSAT - A formally verified SAT solver written in Rust and verified with Creusot.

sarsko

LatPlan : A domain-independent, image-based classical planner

guicho271828

CinnaMon is a Python library which offers a number of tools to detect, explain, and correct data drift in a machine learning system

zelros

A lightweight Description Logic reasoner for large-scale biomedical ontologies

julianmendez

Logic Circuits from the Juice library

Tractables

configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se)

conp-solutions

(work in progress) Conceptual s-expression based typed term graph rewriting system

contrast-zone

Automatic programming by creating Pull Requests from Issues using LLMs

dex3r

Distributed constraint satisfaction with recursive message-passing agents

CarsonScott

MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers

MachSMT

Representation learning for ontologies and their annotations

bio-ontology-research-group