/hibou_3sat_benchmark_experiment

A small experiment on the use of hibou_label to solve 3SAT instances via a reduction of the problem

Primary LanguagePythonApache License 2.0Apache-2.0

Watchers