GitHub / pgphi / Logic-based-SAT-Clause-Creater
This algorithms computes the clauses needed, to solve Minesweeper and check for satisfiability
JSON API: http://repos.ecosyste.ms/api/v1/hosts/GitHub/repositories/pgphi%2FLogic-based-SAT-Clause-Creater
Stars: 1
Forks: 0
Open issues: 0
License: None
Language: Python
Size: 1.98 MB
Dependencies parsed at: Pending
Created at: over 3 years ago
Updated at: over 1 year ago
Pushed at: about 3 years ago
Last synced at: over 1 year ago
Topics: knf, sat-solver, satisfiability
Loading...