https://github.com/yogu/resolver

Determines whether a formula is satisfiable
https://github.com/yogu/resolver

Last synced: 2 days ago
JSON representation

Determines whether a formula is satisfiable

• Host: GitHub
• URL: https://github.com/yogu/resolver
• Owner: Yogu
• Created: 2012-11-28T19:13:39.000Z (about 12 years ago)
• Default Branch: master
• Last Pushed: 2012-11-29T11:58:35.000Z (about 12 years ago)
• Last Synced: 2024-11-10T04:38:37.140Z (about 2 months ago)
• Language: Java
• Size: 109 KB
• Stars: 0
• Watchers: 3
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

        
Resolver

========

Resolves a formula in Conjunctive normal form using the resolution 

algorithm to determine whether the formula is satisfiable or not