Repositories list

• PyImageLabeling

  Public
  PyImageLabeling is a powerful tool with a user-friendly interface based on PyQT6 for creating image masks. These labeled images are used in the creation of mach…

  machine-learningimageimage-manipulation+ 4

  machine-learningimageimage-manipulationimage-classificationimage-recognitionimage-segmentationlabeling-tool

  Python

  •

  MIT License

  •00 forks•33 stars•11 issue•00 pull requests•Updated Jun 2, 2026Jun 2, 2026

• decdnnf_rs

  Public
  Rust

  •

  GNU General Public License v3.0

  •00 forks•66 stars•00 issues•00 pull requests•Updated May 22, 2026May 22, 2026

• pyxai

  Public
  PyXAI (Python eXplainable AI) is a Python library (version 3.6 or later) allowing to bring formal explanations suited to (regression or classification) tree-bas…

  pythonrandom-forestregression+ 4

  pythonrandom-forestregressionclassificationdecision-treeboosted-treesxai

  Python

  •

  MIT License

  •44 forks•3939 stars•00 issues•00 pull requests•Updated May 22, 2026May 22, 2026

• tablebay

  Public
  A Timetabling Application Based on Constraint Programming

  constraint-programmingtimetabling

  constraint-programmingtimetabling

  Java

  •

  GNU Lesser General Public License v3.0

  •11 fork•22 stars•00 issues•00 pull requests•Updated Apr 8, 2026Apr 8, 2026

• decdnnf_rs_py

  Public
  Python bindings for decdnnf_rs

  Rust

  •

  GNU General Public License v3.0

  •00 forks•00 stars•00 issues•00 pull requests•Updated Mar 3, 2026Mar 3, 2026

• decdnnf_rs_c

  Public
  C bindings for decdnnf-rs

  Rust

  •

  GNU General Public License v3.0

  •00 forks•00 stars•00 issues•00 pull requests•Updated Mar 3, 2026Mar 3, 2026

• crustabri_ipafair

  Public
  An IPAFAIR compatible library built upon the Crustabri solver.

  Rust

  •

  GNU General Public License v3.0

  •00 forks•00 stars•00 issues•00 pull requests•Updated Feb 4, 2026Feb 4, 2026

• scalop

  Public
  An argumentation framework library & solver.

  Rust

  •

  GNU General Public License v3.0

  •22 forks•44 stars•00 issues•00 pull requests•Updated Feb 4, 2026Feb 4, 2026

• rez-mezs

  Public
  Measures the resistance of countermodels to iteratively applying families of extensive operators to the original formula.

  C++

  •

  GNU Lesser General Public License v3.0

  •00 forks•00 stars•00 issues•00 pull requests•Updated Dec 18, 2025Dec 18, 2025

• sdp-solver

  Public
  Qualitative and hydrid SAT encodings for solving the Set Discovery Problem (SDP)

  C++

  •

  GNU Lesser General Public License v3.0

  •00 forks•00 stars•00 issues•00 pull requests•Updated Sep 29, 2025Sep 29, 2025

• metrics-solvers

  Public
  This repository contains a collection of solver configuration files for the tool Metrics and XCSP Launcher.

  solverawesome-listxcsp3+ 4

  solverawesome-listxcsp3tootatiscrillab-metricsxcsp-launchersolver-configuration

  Creative Commons Attribution 4.0 International

  •00 forks•00 stars•00 issues•00 pull requests•Updated Aug 26, 2025Aug 26, 2025

• gophersat

  Public
  gophersat, a SAT solver in Go

  constraint-satisfaction-problemartificial-intelligenceconstraints+ 3

  constraint-satisfaction-problemartificial-intelligenceconstraintsboolean-formulassat-solverpseudo-boolean-solver

  Go

  •

  MIT License

  •2424 forks•388388 stars•55 issues•22 pull requests•Updated Jul 7, 2025Jul 7, 2025

• pfactory

  Public
  pFactory is a parallel library designed to support and facilitate the implementation of parallel solvers in C++

  C++

  •

  GNU General Public License v3.0

  •11 fork•22 stars•00 issues•00 pull requests•Updated May 26, 2025May 26, 2025

• metrics

  Public
  mETRICS - rEproducible sofTware peRformance analysIs in perfeCt Simplicity

  crillab-metrics

  crillab-metrics

  Python

  •

  Other

  •11 fork•1111 stars•00 issues•00 pull requests•Updated May 14, 2025May 14, 2025

• d4v2

  Public
  C++

  •

  GNU Lesser General Public License v2.1

  •1818 forks•1616 stars•55 issues•66 pull requests•Updated May 12, 2025May 12, 2025

• autograph

  Public
  Python

  •

  MIT License

  •00 forks•22 stars•22 issues•00 pull requests•Updated Apr 30, 2025Apr 30, 2025

• aceurancetourix

  Public
  Aceurancetourix is a JUNIVERSE adapter for the constraint solver ACE.

  solverconstraint-programminguniverse+ 2

  solverconstraint-programminguniverseuniverse-adaptertootatis

  Java

  •

  Other

  •00 forks•00 stars•00 issues•00 pull requests•Updated Dec 21, 2024Dec 21, 2024

• ipasir-loading

  Public
  Load shared libraries of IPASIR compatible SAT solvers.

  Rust

  •

  GNU General Public License v3.0

  •00 forks•00 stars•00 issues•00 pull requests•Updated Nov 22, 2024Nov 22, 2024

• set-sizing-for-counter-models

  Public
  Deliverable D4.1 for BLaSST ANR project

  C++

  •

  GNU Lesser General Public License v3.0

  •00 forks•11 star•00 issues•00 pull requests•Updated Oct 15, 2024Oct 15, 2024

• crusti_bat

  Public
  A Belief Aggregation Tool.

  Rust

  •

  GNU General Public License v3.0

  •00 forks•00 stars•00 issues•00 pull requests•Updated Mar 18, 2024Mar 18, 2024

• stereo2vec

  Public
  Python

  •

  Other

  •00 forks•55 stars•00 issues•00 pull requests•Updated Feb 13, 2024Feb 13, 2024

• crusti_g2io

  Public
  A Graph Generator following an Inner/Outer pattern.

  Rust

  •

  GNU General Public License v3.0

  •11 fork•00 stars•00 issues•11 pull request•Updated Dec 11, 2023Dec 11, 2023

• apx2tgf

  Public
  APX2TGF is a tool dedicated to the translation of Argumentation Frameworks (AF) from the APX format to the TGF format.

  Rust

  •

  GNU General Public License v3.0

  •00 forks•00 stars•00 issues•00 pull requests•Updated Dec 11, 2023Dec 11, 2023

• pblib-rs

  Public
  Rust safe bindings for pblib.

  C++

  •

  GNU General Public License v3.0

  •00 forks•11 star•00 issues•00 pull requests•Updated Dec 4, 2023Dec 4, 2023

• rubens

  Public
  RUBENS is a library designed to generate test cases in an automatic way using translation rules. It is delivered with some builtin test generators and an interf…

  Java

  •

  GNU General Public License v3.0

  •11 fork•33 stars•00 issues•44 pull requests•Updated Nov 29, 2023Nov 29, 2023

• panoramyx

  Public
  C++

  •

  GNU Lesser General Public License v3.0

  •00 forks•00 stars•00 issues•00 pull requests•Updated Nov 11, 2023Nov 11, 2023

• remote-control

  Public
  Java

  •

  GNU Lesser General Public License v3.0

  •00 forks•00 stars•00 issues•00 pull requests•Updated Sep 14, 2023Sep 14, 2023

• ipafair-sys

  Public
  Rust bindings for the IPAFAIR API.

  C

  •

  GNU General Public License v3.0

  •00 forks•00 stars•00 issues•00 pull requests•Updated Sep 6, 2023Sep 6, 2023

• vcpkg-registry

  Public
  CMake

  •

  Creative Commons Zero v1.0 Universal

  •00 forks•00 stars•00 issues•00 pull requests•Updated Aug 12, 2023Aug 12, 2023

• autis

  Public
  AUTIS library allows parsing combinatorial problem instances for different common formats.

  cppconstraint-programmingdimacs+ 3

  cppconstraint-programmingdimacsxcsp3tootatisopb

  C++

  •

  GNU Lesser General Public License v3.0

  •00 forks•00 stars•00 issues•00 pull requests•Updated Aug 12, 2023Aug 12, 2023