Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/qnighy/ipc_solver
O(N log N)-space IPC solver in OCaml
https://github.com/qnighy/ipc_solver
logic ocaml solver twitter
Last synced: 14 days ago
JSON representation
O(N log N)-space IPC solver in OCaml
- Host: GitHub
- URL: https://github.com/qnighy/ipc_solver
- Owner: qnighy
- Created: 2013-10-20T16:35:25.000Z (about 11 years ago)
- Default Branch: master
- Last Pushed: 2023-04-04T14:24:32.000Z (over 1 year ago)
- Last Synced: 2024-10-10T12:39:57.819Z (26 days ago)
- Topics: logic, ocaml, solver, twitter
- Language: OCaml
- Size: 95.7 KB
- Stars: 52
- Watchers: 3
- Forks: 2
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
README
# IPC solver
## Description
It determines whether a given statement in Intuitionistic
Propositional Calculus (IPC) is provable or not.## Dependencies
- OCaml
- MiniSat executable (for refutation by Kripke models)
- LaTeX (for drawing proof diagrams)## Usage (Command Line)
```
$ make
$ ./ipc_solver <<< "~~(A \/ ~A)"
$ ./ipc_solver <<< "A \/ ~A"
```## Usage (LaTeX)
```
$ make
$ ./ipc_solver --latex ipc.tex <<< "~~(A \/ ~A)"
$ latex ipc.tex
$ dvipdfmx ipc.dvi
```## Usage (Twitter Bot)
Please prepare your consumer key, consumer secret, access token, and access token secret.
```
$ make
$ cp twitter-config.rb.example twitter-config.rb
$ vim twitter-config.rb
$ bundle exec ruby twitter.rb
```