https://github.com/kuanhungchen/spring-2020-applied-mathematical-logic

📈 Implementation of a SAT solver to solve satisfiability problems.
https://github.com/kuanhungchen/spring-2020-applied-mathematical-logic

sat-solving satisfiability satisfiability-solver

Last synced: 7 days ago
JSON representation

📈 Implementation of a SAT solver to solve satisfiability problems.

• Host: GitHub
• URL: https://github.com/kuanhungchen/spring-2020-applied-mathematical-logic
• Owner: kuanhungchen
• Created: 2020-05-05T13:46:54.000Z (over 4 years ago)
• Default Branch: master
• Last Pushed: 2021-04-26T10:26:00.000Z (over 3 years ago)
• Last Synced: 2023-03-09T04:36:22.612Z (over 1 year ago)
• Topics: sat-solving, satisfiability, satisfiability-solver
• Language: C++
• Homepage:
• Size: 4.59 MB
• Stars: 0
• Watchers: 1
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project