GitHub repository: JPabisz/TautoChecker
Primary language: Haskell
Created: 2022-12-07T01:41:37Z
Description: An extension of a satisfiability checker.