GitHub repository: the-innovation-game/satisfiability-challenge
Primary language: C#
Created: 2022-09-23T22:52:48Z
Description: 3-SAT Challenge for The Innovation Game