☰
Navigation :

chrjabs

Packages

Name Attribute Description
cargo-afl-0.15.22 nur.repos.chrjabs.cargo-afl Fuzzing Rust code with american-fuzzy-lop
coveralls-0.6.15 nur.repos.chrjabs.coveralls Self-contained, universal coverage uploader binary. Under development.
dblp-tools-0.1.0-unstable nur.repos.chrjabs.dblp-tools helper tool for working with DBLP bibliographies
python3.13-gbd-4.9.11-multi-opt nur.repos.chrjabs.gbd Management of Benchmark Instances and Instance Attributes
python3.13-gbdc-0.3.2-multi-opt nur.repos.chrjabs.gbdc Instance Identification, Feature Extraction, and Problem Transformation
gbdc-0.3.2-multi-opt nur.repos.chrjabs.gbdc-tool Instance Identification, Feature Extraction, and Problem Transformation. The executable tool only.
gimsatul-1.1.3 nur.repos.chrjabs.gimsatul A portfolio style parallel SAT-solver which physically shares clauses between different solving threads.
python3.13-janus-swi-1.5.2 nur.repos.chrjabs.janus-swi A bi-directional interface between SWI-Prolog and Python
clingo-5.8.0 nur.repos.chrjabs.pyclingo Python interface to clingo, an ASP system to ground and solve logic programs
python3.11-mip-1.15.0 nur.repos.chrjabs.python-mip Python-MIP: collection of Python tools for the modeling and solution of Mixed-Integer Linear programs
veripb-3.0.0 nur.repos.chrjabs.veripb VeriPB is a proof checker for verifying pseudo-Boolean certificates of satisfiability, unsatisfiability, and optimality bounds