GitHub - ashvah/sat-solver: A simple implementation of DPLL

ashvah / sat-solver Public

Notifications You must be signed in to change notification settings
Fork 0
Star 0

A simple implementation of DPLL

0 stars 0 forks Branches Tags Activity

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 6 Commits
.settings		.settings
bin		bin
doc		doc
src		src
.classpath		.classpath
.gitattributes		.gitattributes
.project		.project
LICENSE		LICENSE
README.md		README.md

Repository files navigation

A Simple SAT Solver

实现了SAT问题的brute-force和DPLL算法

About

A simple implementation of DPLL

satisfiability-solver dpll

Report repository

Releases

No releases published

Packages

No packages published

Languages

Java 100.0%