erwanM974 / hibou_3sat_benchmark_experiment

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

Geek Repo

Github PK Tool