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