combinatorial optimization

Proof checker for proof logging method using pseudo-Boolean reasoning for various combinatorial solving and optimization algorithms.

Formally verified proof checker for pseudo-Boolean reasoning for various combinatorial solving and optimization problems based on the CakeML ecosystem.

An implementation of optimisation heuristics for the TSP, designed to run in less than two seconds on 1000-cities input