https://github.com/MichaelRawson/satcop

Connection tableaux with SAT solving.
https://github.com/MichaelRawson/satcop

Last synced: about 1 month 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 (over 3 years ago)
• Default Branch: main
• Last Pushed: 2021-07-07T13:51:21.000Z (almost 3 years ago)
• Last Synced: 2024-02-11T12:12:36.558Z (5 months ago)
• Language: Rust
• Homepage:
• Size: 477 KB
• Stars: 2
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Lists

• 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

```