GitHub repository: nim-lang/sat
Primary language: Nim
Created: 2024-03-05T11:50:36Z
Description: A SAT solver written in Nim