Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/MichaelRawson/satcop
Connection tableaux with SAT solving.
https://github.com/MichaelRawson/satcop
Last synced: 1 day ago
JSON representation
Connection tableaux with SAT solving.
- Host: GitHub
- URL: https://github.com/MichaelRawson/satcop
- Owner: MichaelRawson
- Created: 2021-01-17T20:30:03.000Z (almost 4 years ago)
- Default Branch: main
- Last Pushed: 2021-07-07T13:51:21.000Z (over 3 years ago)
- Last Synced: 2024-05-22T19:32:25.753Z (6 months ago)
- Language: Rust
- Homepage:
- Size: 477 KB
- Stars: 2
- Watchers: 2
- Forks: 0
- Open Issues: 0
-
Metadata Files:
- Readme: README.md
Awesome Lists containing this project
- awesome-rust-formalized-reasoning - SATCoP - theorem prover for first-order logic based on connection tableau and SAT solving. (Projects / Provers and Solvers)
README
# SATCoP
A theorem prover for first-order logic based on connection tableau and SAT solving.
## Build
Install a Rust toolchain: [rustup](https://rustup.rs) is convenient for this.
```
$ cargo build --release
```
There should now be an executable at `target/release/satcop`.
## Usage
```
$ satcop --help
```