Packages by Matthias Ollech

Rwbo — 0.1.2

Run the 'Open-WBO' MaxSAT Solver

loggit2 — 2.4.0

Easy-to-Use, Dependencyless Logger