fix tests

fix proof logging divergence

use dbgte without proof logging to avoid divergence

proof logging for opb input

slightly extend tacas ae readme

Merge branch 'proof-logging'

Merge branch 'proof-logging'

sub-optimal hitting sets and core boosting

log hitting set solver calls

disjoint core extraction

small fixes

first working ihs prototype

wip

work towards mo-ihs ides

start on mo-ihs idea

add instance from paper

simplify pd-cut certification

turn off ILB

fix bioptsat panic

core boosting done

proof logging for core boosting mostly done

cleanup main

fix: bioptsat not getting long enough assignment

wip core boosting proof logging

wip cb proofs

wip core boosting proof logging

wip cb proofs

proof logging for bioptsat

proof logging for bioptsat almost done

apply cadical patch via cargo config