☰
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
dodeca-0.6.2 nur.repos.chrjabs.dodeca A salsa-infused static site generator
python3.13-gbd-5.0.0-multi-opt nur.repos.chrjabs.gbd Management of Benchmark Instances and Instance Attributes
python3.13-gbdc-0.3.3-multi-opt nur.repos.chrjabs.gbdc Instance Identification, Feature Extraction, and Problem Transformation
gbdc-0.3.3-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.
gungraun-runner-0.17.0 nur.repos.chrjabs.gungraun-runner High-precision, one-shot and consistent benchmarking framework/harness for Rust. All Valgrind tools at your fingertips.
python3.13-janus-swi-1.5.2 nur.repos.chrjabs.janus-swi A bi-directional interface between SWI-Prolog and Python
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.1 nur.repos.chrjabs.veripb VeriPB is a proof checker for verifying pseudo-Boolean certificates of satisfiability, unsatisfiability, and optimality bounds