GitHub repository: DarkPoulet/SAT-DSLmorphic
Primary language: Java
Description: A language to resolve SAT problems with a family of SAT solvers (experiments with master SIF)