Projects with this topic
Sort by:
-
Proof checker for proof logging method using pseudo-Boolean reasoning for various combinatorial solving and optimization algorithms.
Updated -
Formally verified proof checker for pseudo-Boolean reasoning for various combinatorial solving and optimization problems based on the CakeML ecosystem.
Updated