SAT-based FAR implementation

Oct 2022 · Konrad Deka

Dependencies:

Featured Links

Github	https://github.com/colette-b/bbchallenge
Chat about it	https://discord.com/channels/960643023006490684/1028746861395316776
Highlighted message	https://discord.com/channels/960643023006490684/960655108578881597/1028023651431362653