GitHub repository: AilurusUmbra/YaSat
Primary language: C++
Created: 2018-11-17T19:04:24Z
Description: Yet Another SAT Solver