Giters

j-alexander / mus-terricolor

a conflict-driven clause learning (CDCL) satisfiability (SAT) solver written in F#

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

mus-terricolor

a conflict-driven clause learning (CDCL) satisfiability (SAT) solver written in F#

About

a conflict-driven clause learning (CDCL) satisfiability (SAT) solver written in F#

Languages

Language:F# 100.0%