Pinned Repositories
CoQuiAAS
CoQuiAAS: a Constraint-based Quick Abstract Argumentation Solver.
crustabri
An argumentation framework library & solver.
crustabri_ipafair
An IPAFAIR compatible library built upon the Crustabri solver.
crusti_bat
A Belief Aggregation Tool.
crusti_g2io
A Graph Generator following an Inner/Outer pattern.
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.
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.
cadical-rs
Rust bindings for the CaDiCaL SAT solver
LWB-benchmark-generator
Reimplementation of the scripts in "A benchmark method for the propositional modal logics K, KT, S4" by Heuerding et al.
cadical-rs
Rust bindings for the CaDiCaL SAT solver
elonca's Repositories
elonca/cadical-rs
Rust bindings for the CaDiCaL SAT solver
elonca/LWB-benchmark-generator
Reimplementation of the scripts in "A benchmark method for the propositional modal logics K, KT, S4" by Heuerding et al.