Skip to content
Change the repository type filter

All

    Repositories list

    • metrics

      Public
      mETRICS - rEproducible sofTware peRformance analysIs in perfeCt Simplicity
      Python
      Other
      01100Updated Dec 11, 2024Dec 11, 2024
    • Load shared libraries of IPASIR compatible SAT solvers.
      Rust
      GNU General Public License v3.0
      0000Updated Nov 22, 2024Nov 22, 2024
    • 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-based ML models (Decision Trees, Random Forests, Boosted Trees, ...).
      Python
      MIT License
      22970Updated Oct 31, 2024Oct 31, 2024
    • Aceurancetourix is a JUNIVERSE adapter for the constraint solver ACE.
      Java
      Other
      0000Updated Oct 29, 2024Oct 29, 2024
    • Deliverable D4.1 for BLaSST ANR project
      C++
      GNU Lesser General Public License v3.0
      0000Updated Oct 15, 2024Oct 15, 2024
    • d4v2

      Public
      C++
      GNU Lesser General Public License v2.1
      7842Updated Aug 15, 2024Aug 15, 2024
    • Rust
      GNU General Public License v3.0
      0000Updated Jul 15, 2024Jul 15, 2024
    • gophersat

      Public
      gophersat, a SAT solver in Go
      Go
      MIT License
      2337254Updated Jun 22, 2024Jun 22, 2024
    • A Belief Aggregation Tool.
      Rust
      GNU General Public License v3.0
      0000Updated Mar 18, 2024Mar 18, 2024
    • Python
      Other
      0400Updated Feb 13, 2024Feb 13, 2024
    • An IPAFAIR compatible library built upon the Crustabri solver.
      Rust
      GNU General Public License v3.0
      0000Updated Jan 24, 2024Jan 24, 2024
    • crustabri

      Public
      An argumentation framework library & solver.
      Rust
      GNU General Public License v3.0
      2200Updated Jan 24, 2024Jan 24, 2024
    • A Graph Generator following an Inner/Outer pattern.
      Rust
      GNU General Public License v3.0
      1001Updated 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
      0000Updated Dec 11, 2023Dec 11, 2023
    • pblib-rs

      Public
      Rust safe bindings for pblib.
      C++
      GNU General Public License v3.0
      0000Updated 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 interface conceived in order to create new ones with few effort.
      Java
      GNU General Public License v3.0
      0304Updated Nov 29, 2023Nov 29, 2023
    • panoramyx

      Public
      C++
      GNU Lesser General Public License v3.0
      0000Updated Nov 11, 2023Nov 11, 2023
    • Java
      GNU Lesser General Public License v3.0
      0000Updated Sep 14, 2023Sep 14, 2023
    • Rust bindings for the IPAFAIR API.
      C
      GNU General Public License v3.0
      0000Updated Sep 6, 2023Sep 6, 2023
    • CMake
      Creative Commons Zero v1.0 Universal
      0000Updated Aug 12, 2023Aug 12, 2023
    • autis

      Public
      AUTIS library allows parsing combinatorial problem instances for different common formats.
      C++
      GNU Lesser General Public License v3.0
      0000Updated Aug 12, 2023Aug 12, 2023
    • universe

      Public
      C++
      Other
      0000Updated Aug 12, 2023Aug 12, 2023
    • juniverse

      Public
      Java
      Other
      0100Updated Jul 28, 2023Jul 28, 2023
    • tootatis

      Public
      HTML
      0000Updated Jul 2, 2023Jul 2, 2023
    • easyjni

      Public
      C++
      Other
      0000Updated Jul 1, 2023Jul 1, 2023
    • except

      Public
      CMake
      Other
      0000Updated Jun 30, 2023Jun 30, 2023
    • autograph

      Public
      Python
      MIT License
      0220Updated Jun 6, 2023Jun 6, 2023
    • d4

      Public
      d4 Model Counter
      C++
      GNU Lesser General Public License v3.0
      41550Updated May 17, 2023May 17, 2023
    • CSUuniverse is a C# version of UNIVERSE.
      C#
      GNU Lesser General Public License v3.0
      0000Updated Mar 17, 2023Mar 17, 2023
    • jkahypar

      Public
      A Java binding for KaHyPar (Karlsruhe Hypergraph Partitioning).
      Java
      GNU General Public License v3.0
      0440Updated Aug 17, 2022Aug 17, 2022