crillab/metrics-solvers

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

Size: 36.1 KB - Last synced at: 4 days ago - Pushed at: 7 days ago - Stars: 0 - Forks: 0

crillab/pyxai

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, ...).

Language: Python - Size: 74.3 MB - Last synced at: 5 days ago - Pushed at: 7 days ago - Stars: 33 - Forks: 3

crillab/d4

d4 Model Counter

Language: C++ - Size: 15.2 MB - Last synced at: 5 days ago - Pushed at: almost 2 years ago - Stars: 16 - Forks: 4

crillab/CSUniverse

CSUuniverse is a C# version of UNIVERSE.

Language: C# - Size: 679 KB - Last synced at: 5 days ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0

crillab/aceurancetourix

Aceurancetourix is a JUNIVERSE adapter for the constraint solver ACE.

Language: Java - Size: 25.4 MB - Last synced at: 5 days ago - Pushed at: 5 months ago - Stars: 0 - Forks: 0

crillab/autis

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

Language: C++ - Size: 315 KB - Last synced at: 5 days ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

crillab/juniverse

JUNIVERSE is a JAVA version of UNIVERSE library and proposes generic interfaces for combinatorial problems solvers.

Language: Java - Size: 1.42 MB - Last synced at: 5 days ago - Pushed at: almost 2 years ago - Stars: 1 - Forks: 0

crillab/universe

UNIvERSE - mUlti laNguage unIfied intErface foR conStraint solvErs

Language: C++ - Size: 2.82 MB - Last synced at: 5 days ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

crillab/gophersat

gophersat, a SAT solver in Go

Language: Go - Size: 18.3 MB - Last synced at: 5 days ago - Pushed at: 11 months ago - Stars: 374 - Forks: 23

crillab/pblib-rs

Rust safe bindings for pblib.

Language: C++ - Size: 5.13 MB - Last synced at: 5 days ago - Pushed at: over 1 year ago - Stars: 1 - Forks: 0

crillab/d4v2

Language: C++ - Size: 10 MB - Last synced at: 5 days ago - Pushed at: 9 months ago - Stars: 9 - Forks: 9

crillab/stereo2vec

Language: Python - Size: 48.8 KB - Last synced at: 5 days ago - Pushed at: about 1 year ago - Stars: 5 - Forks: 0

crillab/ipasir-loading

Load shared libraries of IPASIR compatible SAT solvers.

Language: Rust - Size: 20.5 KB - Last synced at: 5 days ago - Pushed at: 6 months ago - Stars: 0 - Forks: 0

crillab/set-sizing-for-counter-models

Deliverable D4.1 for BLaSST ANR project

Language: C++ - Size: 268 KB - Last synced at: 5 days ago - Pushed at: 7 months ago - Stars: 0 - Forks: 0

crillab/metrics-examples

Language: Jupyter Notebook - Size: 16.4 MB - Last synced at: 5 days ago - Pushed at: almost 3 years ago - Stars: 1 - Forks: 0

crillab/metrics

mETRICS - rEproducible sofTware peRformance analysIs in perfeCt Simplicity

Language: Python - Size: 20.1 MB - Last synced at: 5 days ago - Pushed at: 5 months ago - Stars: 11 - Forks: 1

crillab/jkahypar

A Java binding for KaHyPar (Karlsruhe Hypergraph Partitioning).

Language: Java - Size: 24.1 MB - Last synced at: 5 days ago - Pushed at: over 2 years ago - Stars: 4 - Forks: 0

crillab/decdnnf_rs

Language: Rust - Size: 86.9 KB - Last synced at: 5 days ago - Pushed at: 10 months ago - Stars: 0 - Forks: 0

crillab/crustabri

An argumentation framework library & solver.

Language: Rust - Size: 304 KB - Last synced at: 5 days ago - Pushed at: over 1 year ago - Stars: 2 - Forks: 2

crillab/remote-control

Language: Java - Size: 1.12 MB - Last synced at: 5 days ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

crillab/crusti_bat

A Belief Aggregation Tool.

Language: Rust - Size: 86.9 KB - Last synced at: 5 days ago - Pushed at: about 1 year ago - Stars: 0 - Forks: 0

crillab/b-plus-e

Language: C++ - Size: 187 KB - Last synced at: 5 days ago - Pushed at: over 3 years ago - Stars: 5 - Forks: 0

crillab/apx2tgf

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

Language: Rust - Size: 87.9 KB - Last synced at: 5 days ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

crillab/crustabri_ipafair

An IPAFAIR compatible library built upon the Crustabri solver.

Language: Rust - Size: 31.3 KB - Last synced at: 5 days ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

crillab/ipafair-sys

Rust bindings for the IPAFAIR API.

Language: C - Size: 18.6 KB - Last synced at: 5 days ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

crillab/pfactory

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

Language: C++ - Size: 7.05 MB - Last synced at: 5 days ago - Pushed at: about 5 years ago - Stars: 1 - Forks: 1

crillab/panoramyx

Language: C++ - Size: 39.8 MB - Last synced at: 5 days ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 0

crillab/vcpkg-registry

Language: CMake - Size: 139 KB - Last synced at: 5 days ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

crillab/except

Language: CMake - Size: 87.9 KB - Last synced at: 5 days ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

crillab/crusti_g2io

A Graph Generator following an Inner/Outer pattern.

Language: Rust - Size: 103 KB - Last synced at: 5 days ago - Pushed at: over 1 year ago - Stars: 0 - Forks: 1

crillab/mdk-verifier

Modal Logic K checker

Language: C++ - Size: 334 KB - Last synced at: 5 days ago - Pushed at: over 3 years ago - Stars: 2 - Forks: 2

crillab/rubens

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.

Language: Java - Size: 585 KB - Last synced at: 5 days ago - Pushed at: over 1 year ago - Stars: 3 - Forks: 0

crillab/pbd4

Language: Java - Size: 15.3 MB - Last synced at: 5 days ago - Pushed at: about 4 years ago - Stars: 1 - Forks: 0

crillab/dsyrup

Language: C++ - Size: 28.8 MB - Last synced at: 5 days ago - Pushed at: almost 3 years ago - Stars: 0 - Forks: 0

crillab/tootatis

Language: HTML - Size: 106 KB - Last synced at: 20 days ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

crillab/easyjni

Language: C++ - Size: 204 KB - Last synced at: 5 days ago - Pushed at: almost 2 years ago - Stars: 0 - Forks: 0

crillab/CoQuiAAS

CoQuiAAS: a Constraint-based Quick Abstract Argumentation Solver.

Language: C++ - Size: 12.6 MB - Last synced at: 5 days ago - Pushed at: about 4 years ago - Stars: 1 - Forks: 0

crillab/autograph

Language: Python - Size: 181 KB - Last synced at: 5 days ago - Pushed at: 13 days ago - Stars: 2 - Forks: 0

crillab/jigsaw-cli

Jigsaw-CLI is a Java command-line arguments parsing library based on annotations. Contrary to most of this kind of library, Jigsaw-CLI implements the Java module system introduced in Java 9.

Language: Java - Size: 77.1 KB - Last synced at: 5 days ago - Pushed at: about 4 years ago - Stars: 2 - Forks: 1

crillab/iccma-dynamics-wrapper

The solver wrapper for dynamic tracks in ICCMA'21 competition.

Language: Rust - Size: 45.9 KB - Last synced at: 5 days ago - Pushed at: over 4 years ago - Stars: 0 - Forks: 0

crillab/docker-images Fork of sat-heritage/docker-images

SAT Heritage: a community-driven effort for archiving, building and running more than thousand SAT solvers

Size: 317 KB - Last synced at: 5 days ago - Pushed at: almost 5 years ago - Stars: 0 - Forks: 0

crillab/nacre_mini

NACRE : Nogood And Clause Reasoning Engine

Language: C++ - Size: 187 KB - Last synced at: 5 days ago - Pushed at: almost 6 years ago - Stars: 6 - Forks: 4

crillab/org.alloytools.alloy Fork of AlloyTools/org.alloytools.alloy

Alloy is a language for describing structures and a tool for exploring them. It has been used in a wide range of applications from finding holes in security mechanisms to designing telephone switching networks. This repository contains the code for the tool.

Language: Java - Size: 19.1 MB - Last synced at: 5 days ago - Pushed at: almost 6 years ago - Stars: 0 - Forks: 0

crillab/Parser-InToHyLo

Small piece of code to parse easily the InToHyLo format. Documentation here:

Language: C++ - Size: 1.4 MB - Last synced at: 5 days ago - Pushed at: over 8 years ago - Stars: 1 - Forks: 0