/mallob-incremental-experiments

Infrastructure to run incremental SAT applications with Mallob as a backend

Primary LanguageShellMIT LicenseMIT

mallob-incremental-experiments

Infrastructure to run incremental SAT applications with Mallob as a backend