chrjabs Goto Github PK

beamer

A LaTeX class for producing presentations and slides

bibmanager

A BibTeX manager for LaTeX projects

biobjectivebranchandcut

Contains code for a bi objective branch and cut algorithm which can be used for bi objective combinatorial optimization in minimization form.

cadical

CaDiCaL SAT Solver

chrjabs.github.io

My personal portfolio webpage.

fazzer

A fuzzer for multi-objective MaxSAT.

gbd

Management of Benchmark Instances and Instance Attributes

gbd-data

GBD Data Repository

gbdc

GBDHash, Feature Extractors, and Problem Transformers

glucose4

The Glucose SAT solver from https://www.labri.fr/perso/lsimon/research/glucose/#glucose-4.2.1

grape-academic-theme

🍇 Grape-Academic-Theme: A modified version of the Jekyll Grape-Theme for an academic Portfolio. (Can include a blog)

idv-project

Project for the Interactive Data Visualization Course (University of Helsinki). Visualization of the performance of different Pareto front enumeration algorithms.

intel_sat_solver

This repository contains the code of Intel(R) SAT Solver (IntelSAT)

joshuto

ranger-like terminal file manager written in Rust

leximaxist

Boolean Leximax Optimisation solver based on iterative SAT solving

linearrelaxationbasedmultiobjectivebranchandbound

loandra

The MaxSAT solver Loandra as it participated in the incomplete track of the 2019-2020 MSE (check different branches)

masters-thesis

My Master's thesis on MaxSAT-based bi-objective optimization.

maturin

Build and publish crates with pyo3, rust-cpython and cffi bindings as well as rust binaries as python packages

maxpre-rs

Rust interface to the MaxPre preprocessor for MaxSAT

minisat

A minimalistic and high-performance SAT solver

moamopb

A tool to solve multi-objective pseudo-Boolean optimization problems (0-1 ILP) in OPB format.

papilo

Parallel Presolve for Integer and Linear Optimization

pidgeons

A proof logging library for VeriPB

runsolver

An updated fork of the runsolver tool

rustsat

This library aims to provide implementations of elements commonly used in the development on software in the area of satisfiability solving. The focus of the library is to provide as much ease of use without giving up on performance.

scuttle

Multi-objective MaxSAT solver written in Rust