Skip to content
/ Spring-2020-Applied-Mathematical-Logic Public

📈 Implementation of a SAT solver to solve satisfiability problems.

0 stars 0 forks Branches Tags Activity
Star
Notifications You must be signed in to change notification settings

kuanhungchen/Spring-2020-Applied-Mathematical-Logic

BranchesTags

Folders and files

NameName
Last commit message
Last commit date

Latest commit

 

History

6 Commits
data
data
 
 
reading
reading
 
 
src
src
 
 
README.md
README.md
 
 

Repository files navigation

Spring-2020-Applied-Mathematical-Logic

An easy implementation of a SAT solver to solve satisfiability problems.

Features

  • 2 Literal Watching
  • Recursive DPLL
  • Chronological Backtracking
  • Conflict Clause Learning
  • Non-Chronological Backtracking
  • Learnt Clause Minimization
  • Phase saving

Usage

To be released.

Contact

Feel free to email me at [email protected] or open an issue here if you have any ideas.

About

📈 Implementation of a SAT solver to solve satisfiability problems.

Topics

satisfiability-solver satisfiability sat-solving

Resources

Readme
Activity

Stars

0 stars

Watchers

2 watching

Forks

0 forks
Report repository

Releases

No releases published

Packages

No packages published

Languages