crillab/d4

d4 Model Counter

langage: C++ - taille: 15,2 Mo - dernière synchronisation: il y a environ 2 mois - enregistré: il y a environ 3 ans - étoiles: 22 - forks: 6

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,55 Mo - dernière synchronisation: il y a environ 2 mois - enregistré: il y a 2 mois - étoiles: 3 - forks: 0

crillab/tablebay

A Timetabling Application Based on Constraint Programming

langage: Java - taille: 2,37 Mo - dernière synchronisation: il y a environ 2 mois - enregistré: il y a 4 mois - étoiles: 2 - forks: 1

crillab/decdnnf_rs

langage: Rust - taille: 275 ko - dernière synchronisation: il y a environ 2 mois - enregistré: il y a 3 mois - étoiles: 4 - 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, ...).

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

crillab/universe

UNIvERSE - mUlti laNguage unIfied intErface foR conStraint solvErs

langage: C++ - taille: 2,82 Mo - dernière synchronisation: il y a environ 2 mois - enregistré: il y a presque 3 ans - étoiles: 1 - forks: 0

crillab/gophersat

gophersat, a SAT solver in Go

langage: Go - taille: 18,4 Mo - dernière synchronisation: il y a environ 2 mois - enregistré: il y a environ un an - étoiles: 388 - forks: 24

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 mois - enregistré: il y a presque 2 ans - étoiles: 1 - forks: 0

crillab/d4v2

langage: C++ - taille: 16,3 Mo - dernière synchronisation: il y a environ 2 mois - enregistré: il y a plus d'un an - étoiles: 15 - forks: 16

crillab/decdnnf_rs_py

Python bindings for decdnnf_rs

langage: Rust - taille: 23,4 ko - dernière synchronisation: il y a environ 2 mois - enregistré: il y a 5 mois - é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 2 mois - enregistré: il y a 5 mois - étoiles: 0 - 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 environ 2 mois - enregistré: il y a 6 mois - étoiles: 0 - forks: 0

crillab/scalop

An argumentation framework library & solver.

langage: Rust - taille: 442 ko - dernière synchronisation: il y a environ 2 mois - enregistré: il y a 6 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 environ 2 mois - enregistré: il y a 8 mois - étoiles: 0 - forks: 0

crillab/b-plus-e

langage: C++ - taille: 187 ko - dernière synchronisation: il y a environ 2 mois - 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 environ 2 mois - enregistré: il y a 11 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 environ 2 mois - enregistré: il y a 12 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 environ 2 mois - enregistré: il y a environ un an - é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 mois - enregistré: il y a plus de 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 environ 2 mois - 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 environ 2 mois - enregistré: il y a presque 3 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 mois - enregistré: il y a environ 3 ans - étoiles: 1 - forks: 0

crillab/pblib-rs

Rust safe bindings for pblib.

langage: C++ - taille: 5,13 Mo - dernière synchronisation: il y a environ 2 mois - 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 environ 2 mois - enregistré: il y a plus de 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 mois - 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 environ 2 mois - enregistré: il y a environ 4 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 mois - enregistré: il y a environ un an - é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 mois - enregistré: il y a presque 4 ans - étoiles: 4 - forks: 0

crillab/remote-control

langage: Java - taille: 1,12 Mo - dernière synchronisation: il y a environ 2 mois - enregistré: il y a presque 3 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 mois - enregistré: il y a plus de 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 environ 2 mois - 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 environ 2 mois - enregistré: il y a presque 3 ans - étoiles: 0 - forks: 0

crillab/panoramyx

langage: C++ - taille: 39,8 Mo - dernière synchronisation: il y a environ 2 mois - 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 environ 2 mois - enregistré: il y a presque 3 ans - étoiles: 0 - forks: 0

crillab/except

langage: CMake - taille: 87,9 ko - dernière synchronisation: il y a environ 2 mois - enregistré: il y a environ 3 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 mois - 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 environ 2 mois - enregistré: il y a presque 5 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 mois - enregistré: il y a plus de 2 ans - étoiles: 3 - forks: 1

crillab/pbd4

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

crillab/dsyrup

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

crillab/tootatis

langage: HTML - taille: 106 ko - dernière synchronisation: il y a plus d'un an - enregistré: il y a environ 3 ans - étoiles: 0 - forks: 0

crillab/easyjni

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

crillab/autograph

langage: Python - taille: 181 ko - dernière synchronisation: il y a environ 2 mois - enregistré: il y a plus d'un an - é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 mois - enregistré: il y a plus de 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 environ 2 mois - 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 environ 2 mois - enregistré: il y a environ 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 environ 2 mois - enregistré: il y a environ 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 environ 2 mois - enregistré: il y a environ 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 environ 2 mois - enregistré: il y a presque 10 ans - étoiles: 1 - forks: 0