Navigation :

chrjabs

Packages

Name	Attribute	Description
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.
pboxide-0.2.0	nur.repos.chrjabs.pboxide	Rewrite of the pseudo-Boolean proof checker VeriPB in Rust.
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-2.3.0	nur.repos.chrjabs.veripb	Proof checker for proof logging method using pseudo-Boolean reasoning for various combinatorial solving and optimization algorithms