Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/chenzl25/propositional-logic-inference
A propositional-logic-inference engine. support model-checking, resolution, forward-chaining algorithm.
https://github.com/chenzl25/propositional-logic-inference
Last synced: 23 days ago
JSON representation
A propositional-logic-inference engine. support model-checking, resolution, forward-chaining algorithm.
- Host: GitHub
- URL: https://github.com/chenzl25/propositional-logic-inference
- Owner: chenzl25
- License: mit
- Created: 2016-10-17T05:54:44.000Z (about 8 years ago)
- Default Branch: master
- Last Pushed: 2016-10-25T12:59:16.000Z (about 8 years ago)
- Last Synced: 2023-07-05T11:41:43.166Z (over 1 year ago)
- Language: C++
- Homepage:
- Size: 61.5 KB
- Stars: 2
- Watchers: 2
- Forks: 1
- Open Issues: 0