crillab/d4

d4 Model Counter

langage: C++ - taille: 15,2 Mo - dernière synchronisation: il y a 5 jours - enregistré: il y a presque 3 ans - étoiles: 19 - forks: 5

crillab/set-sizing-for-counter-models

Deliverable D4.1 for BLaSST ANR project

langage: C++ - taille: 268 ko - dernière synchronisation: il y a 5 jours - enregistré: il y a plus d'un an - étoiles: 1 - forks: 0

crillab/d4v2

langage: C++ - taille: 16,3 Mo - dernière synchronisation: il y a 5 jours - enregistré: il y a 11 mois - étoiles: 15 - forks: 12

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 5 jours - enregistré: il y a 15 jours - étoiles: 39 - forks: 4

crillab/gophersat

gophersat, a SAT solver in Go

langage: Go - taille: 18,4 Mo - dernière synchronisation: il y a 5 jours - enregistré: il y a 9 mois - étoiles: 386 - forks: 24

crillab/decdnnf_rs_py

Python bindings for decdnnf_rs

langage: Rust - taille: 23,4 ko - dernière synchronisation: il y a environ 5 heures - enregistré: il y a 23 jours - étoiles: 0 - forks: 0

crillab/decdnnf_rs_c

C bindings for decdnnf-rs

langage: Rust - taille: 36,1 ko - dernière synchronisation: il y a environ 5 heures - enregistré: il y a 23 jours - étoiles: 0 - forks: 0

crillab/decdnnf_rs

langage: Rust - taille: 257 ko - dernière synchronisation: il y a 5 jours - enregistré: il y a 23 jours - étoiles: 4 - forks: 0

crillab/PyImageLabeling

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 machine learning models dedicated to computer vision tasks.

langage: Python - taille: 9,58 Mo - dernière synchronisation: il y a 5 jours - enregistré: il y a 8 jours - étoiles: 3 - forks: 0

crillab/crustabri_ipafair

An IPAFAIR compatible library built upon the Crustabri solver.

langage: Rust - taille: 50,8 ko - dernière synchronisation: il y a 5 jours - enregistré: il y a environ 2 mois - étoiles: 0 - forks: 0

crillab/scalop

An argumentation framework library & solver.

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

crillab/rez-mezs

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

langage: C++ - taille: 43,9 ko - dernière synchronisation: il y a 1 jour - enregistré: il y a 3 mois - étoiles: 0 - forks: 0

crillab/b-plus-e

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

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 4 jours - enregistré: il y a 6 mois - étoiles: 0 - forks: 0

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 5 jours - enregistré: il y a 7 mois - étoiles: 0 - forks: 0

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 5 jours - enregistré: il y a 10 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 5 jours - enregistré: il y a environ 3 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 5 jours - enregistré: il y a plus d'un an - é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 5 jours - 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 5 jours - 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 5 jours - 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 5 jours - enregistré: il y a plus de 2 ans - étoiles: 1 - forks: 0

crillab/stereo2vec

langage: Python - taille: 48,8 ko - dernière synchronisation: il y a 5 jours - enregistré: il y a environ 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 5 jours - enregistré: il y a plus d'un an - étoiles: 0 - forks: 0

crillab/metrics-examples

langage: Jupyter Notebook - taille: 16,4 Mo - dernière synchronisation: il y a 5 jours - 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 5 jours - enregistré: il y a 11 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 5 jours - 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 5 jours - 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 5 jours - enregistré: il y a environ 2 ans - é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 5 jours - enregistré: il y a plus de 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 5 jours - 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 5 jours - enregistré: il y a plus de 2 ans - étoiles: 0 - forks: 0

crillab/vcpkg-registry

langage: CMake - taille: 139 ko - dernière synchronisation: il y a 5 jours - 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 5 jours - 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 5 jours - enregistré: il y a plus de 2 ans - étoiles: 0 - forks: 1

crillab/mdk-verifier

Modal Logic K checker

langage: C++ - taille: 334 ko - dernière synchronisation: il y a 5 jours - 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 5 jours - enregistré: il y a plus de 2 ans - étoiles: 3 - forks: 0

crillab/pbd4

langage: Java - taille: 15,3 Mo - dernière synchronisation: il y a 5 jours - enregistré: il y a presque 5 ans - étoiles: 1 - forks: 0

crillab/dsyrup

langage: C++ - taille: 28,8 Mo - dernière synchronisation: il y a 5 jours - 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 11 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 5 jours - 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 5 jours - enregistré: il y a environ 5 ans - étoiles: 1 - forks: 0

crillab/autograph

langage: Python - taille: 181 ko - dernière synchronisation: il y a 5 jours - enregistré: il y a 11 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 5 jours - enregistré: il y a presque 5 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 5 jours - enregistré: il y a plus de 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 5 jours - enregistré: il y a presque 6 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 5 jours - enregistré: il y a presque 7 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 5 jours - enregistré: il y a presque 7 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 5 jours - enregistré: il y a plus de 9 ans - étoiles: 1 - forks: 0