crillab/PyImageLabeling

langage: Python - taille: 8,55 Mo - dernière synchronisation: il y a environ 2 heures - enregistré: il y a 7 jours - étoiles: 3 - forks: 0

crillab/decdnnf_rs

langage: Rust - taille: 171 ko - dernière synchronisation: il y a environ 2 heures - enregistré: il y a 3 mois - étoiles: 3 - forks: 0

crillab/d4v2

langage: C++ - taille: 16,3 Mo - dernière synchronisation: il y a environ 2 heures - enregistré: il y a 7 mois - étoiles: 13 - forks: 11

crillab/b-plus-e

langage: C++ - taille: 187 ko - dernière synchronisation: il y a environ 2 heures - enregistré: il y a environ 4 ans - étoiles: 6 - forks: 0

crillab/gophersat

gophersat, a SAT solver in Go

langage: Go - taille: 18,4 Mo - dernière synchronisation: il y a environ 2 heures - enregistré: il y a 5 mois - étoiles: 384 - forks: 23

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

langage: Python - taille: 74,3 Mo - dernière synchronisation: il y a environ 2 heures - enregistré: il y a 7 mois - étoiles: 39 - forks: 4

crillab/sdp-solver

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

langage: C++ - taille: 44,9 ko - dernière synchronisation: il y a 5 jours - enregistré: il y a 3 mois - étoiles: 0 - forks: 0

crillab/scalop

An argumentation framework library & solver.

langage: Rust - taille: 401 ko - dernière synchronisation: il y a 6 jours - enregistré: il y a 5 mois - étoiles: 4 - forks: 2

crillab/metrics-solvers

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

taille: 43,9 ko - dernière synchronisation: il y a environ 2 heures - enregistré: il y a 4 mois - étoiles: 0 - forks: 0

crillab/d4

d4 Model Counter

langage: C++ - taille: 15,2 Mo - dernière synchronisation: il y a environ 2 heures - enregistré: il y a plus de 2 ans - étoiles: 18 - forks: 5

crillab/pfactory

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

langage: C++ - taille: 7 Mo - dernière synchronisation: il y a environ 2 heures - enregistré: il y a 7 mois - étoiles: 2 - forks: 1

crillab/CSUniverse

CSUuniverse is a C# version of UNIVERSE.

langage: C# - taille: 679 ko - dernière synchronisation: il y a environ 2 heures - enregistré: il y a plus de 2 ans - étoiles: 0 - forks: 0

crillab/aceurancetourix

Aceurancetourix is a JUNIVERSE adapter for the constraint solver ACE.

langage: Java - taille: 25,4 Mo - dernière synchronisation: il y a environ 2 heures - enregistré: il y a 12 mois - étoiles: 0 - forks: 0

crillab/autis

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

langage: C++ - taille: 315 ko - dernière synchronisation: il y a environ 2 heures - enregistré: il y a plus de 2 ans - étoiles: 0 - forks: 0

crillab/juniverse

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

langage: Java - taille: 1,42 Mo - dernière synchronisation: il y a environ 2 heures - enregistré: il y a plus de 2 ans - étoiles: 1 - forks: 0

crillab/universe

UNIvERSE - mUlti laNguage unIfied intErface foR conStraint solvErs

langage: C++ - taille: 2,82 Mo - dernière synchronisation: il y a environ 2 heures - enregistré: il y a plus de 2 ans - étoiles: 0 - forks: 0

crillab/pblib-rs

Rust safe bindings for pblib.

langage: C++ - taille: 5,13 Mo - dernière synchronisation: il y a environ 2 heures - enregistré: il y a environ 2 ans - étoiles: 1 - forks: 0

crillab/stereo2vec

langage: Python - taille: 48,8 ko - dernière synchronisation: il y a environ 2 heures - enregistré: il y a presque 2 ans - étoiles: 5 - forks: 0

crillab/ipasir-loading

Load shared libraries of IPASIR compatible SAT solvers.

langage: Rust - taille: 20,5 ko - dernière synchronisation: il y a environ 2 heures - enregistré: il y a environ un an - étoiles: 0 - forks: 0

crillab/set-sizing-for-counter-models

Deliverable D4.1 for BLaSST ANR project

langage: C++ - taille: 268 ko - dernière synchronisation: il y a environ 2 heures - enregistré: il y a environ un an - étoiles: 0 - forks: 0

crillab/metrics-examples

langage: Jupyter Notebook - taille: 16,4 Mo - dernière synchronisation: il y a environ 2 heures - enregistré: il y a plus de 3 ans - étoiles: 1 - forks: 0

crillab/metrics

mETRICS - rEproducible sofTware peRformance analysIs in perfeCt Simplicity

langage: Python - taille: 20,1 Mo - dernière synchronisation: il y a environ 2 heures - enregistré: il y a 7 mois - étoiles: 11 - forks: 1

crillab/jkahypar

A Java binding for KaHyPar (Karlsruhe Hypergraph Partitioning).

langage: Java - taille: 24,1 Mo - dernière synchronisation: il y a environ 2 heures - enregistré: il y a plus de 3 ans - étoiles: 4 - forks: 0

crillab/remote-control

langage: Java - taille: 1,12 Mo - dernière synchronisation: il y a environ 2 heures - enregistré: il y a plus de 2 ans - étoiles: 0 - forks: 0

crillab/crusti_bat

A Belief Aggregation Tool.

langage: Rust - taille: 86,9 ko - dernière synchronisation: il y a environ 2 heures - enregistré: il y a plus d'un an - étoiles: 0 - forks: 0

crillab/apx2tgf

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

langage: Rust - taille: 87,9 ko - dernière synchronisation: il y a environ 2 heures - enregistré: il y a environ 2 ans - étoiles: 0 - forks: 0

crillab/crustabri_ipafair

An IPAFAIR compatible library built upon the Crustabri solver.

langage: Rust - taille: 31,3 ko - dernière synchronisation: il y a environ 2 heures - enregistré: il y a presque 2 ans - étoiles: 0 - forks: 0

crillab/ipafair-sys

Rust bindings for the IPAFAIR API.

langage: C - taille: 18,6 ko - dernière synchronisation: il y a environ 2 heures - enregistré: il y a plus de 2 ans - étoiles: 0 - forks: 0

crillab/panoramyx

langage: C++ - taille: 39,8 Mo - dernière synchronisation: il y a environ 2 heures - enregistré: il y a environ 2 ans - étoiles: 0 - forks: 0

crillab/vcpkg-registry

langage: CMake - taille: 139 ko - dernière synchronisation: il y a environ 2 heures - enregistré: il y a plus de 2 ans - étoiles: 0 - forks: 0

crillab/except

langage: CMake - taille: 87,9 ko - dernière synchronisation: il y a environ 2 heures - enregistré: il y a plus de 2 ans - étoiles: 0 - forks: 0

crillab/crusti_g2io

A Graph Generator following an Inner/Outer pattern.

langage: Rust - taille: 103 ko - dernière synchronisation: il y a environ 2 heures - enregistré: il y a environ 2 ans - étoiles: 0 - forks: 1

crillab/mdk-verifier

Modal Logic K checker

langage: C++ - taille: 334 ko - dernière synchronisation: il y a environ 2 heures - enregistré: il y a plus de 4 ans - étoiles: 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.

langage: Java - taille: 585 ko - dernière synchronisation: il y a environ 2 heures - enregistré: il y a environ 2 ans - étoiles: 3 - forks: 0

crillab/pbd4

langage: Java - taille: 15,3 Mo - dernière synchronisation: il y a environ 2 heures - enregistré: il y a plus de 4 ans - étoiles: 1 - forks: 0

crillab/dsyrup

langage: C++ - taille: 28,8 Mo - dernière synchronisation: il y a environ 2 heures - enregistré: il y a plus de 3 ans - étoiles: 0 - forks: 0

crillab/tootatis

langage: HTML - taille: 106 ko - dernière synchronisation: il y a 8 mois - enregistré: il y a plus de 2 ans - étoiles: 0 - forks: 0

crillab/easyjni

langage: C++ - taille: 204 ko - dernière synchronisation: il y a environ 2 heures - enregistré: il y a plus de 2 ans - étoiles: 0 - forks: 0

crillab/CoQuiAAS

CoQuiAAS: a Constraint-based Quick Abstract Argumentation Solver.

langage: C++ - taille: 12,6 Mo - dernière synchronisation: il y a environ 2 heures - enregistré: il y a plus de 4 ans - étoiles: 1 - forks: 0

crillab/autograph

langage: Python - taille: 181 ko - dernière synchronisation: il y a environ 2 heures - enregistré: il y a 8 mois - étoiles: 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.

langage: Java - taille: 77,1 ko - dernière synchronisation: il y a environ 2 heures - enregistré: il y a plus de 4 ans - étoiles: 2 - forks: 1

crillab/iccma-dynamics-wrapper

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

langage: Rust - taille: 45,9 ko - dernière synchronisation: il y a environ 2 heures - enregistré: il y a environ 5 ans - étoiles: 0 - forks: 0

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

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

taille: 317 ko - dernière synchronisation: il y a environ 2 heures - enregistré: il y a plus de 5 ans - étoiles: 0 - forks: 0

crillab/nacre_mini

NACRE : Nogood And Clause Reasoning Engine

langage: C++ - taille: 187 ko - dernière synchronisation: il y a environ 2 heures - enregistré: il y a plus de 6 ans - étoiles: 6 - forks: 4

crillab/org.alloytools.alloy Fork de 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.

langage: Java - taille: 19,1 Mo - dernière synchronisation: il y a environ 2 heures - enregistré: il y a plus de 6 ans - étoiles: 0 - forks: 0

crillab/Parser-InToHyLo

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

langage: C++ - taille: 1,4 Mo - dernière synchronisation: il y a environ 2 heures - enregistré: il y a environ 9 ans - étoiles: 1 - forks: 0