https://github.com/MichaelRawson/lickety

lickety-split!
https://github.com/MichaelRawson/lickety

Last synced: about 1 month ago
JSON representation

lickety-split!

• Host: GitHub
• URL: https://github.com/MichaelRawson/lickety
• Owner: MichaelRawson
• Created: 2022-01-28T17:33:57.000Z (over 2 years ago)
• Default Branch: main
• Last Pushed: 2022-02-23T13:39:10.000Z (over 2 years ago)
• Last Synced: 2024-02-11T12:11:25.669Z (5 months ago)
• Language: Rust
• Size: 140 KB
• Stars: 0
• Watchers: 2
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Lists

• awesome-rust-formalized-reasoning - lickety - prototype system for linear resolution with splitting. (Projects / Provers and Solvers)

README

        
# lickety

Prototype system for linear resolution with splitting.

## Build

Install a Rust toolchain: [rustup](https://rustup.rs) is convenient for this.

You will also need a static PicoSAT library somewhere linkable.

```

$ cargo build --release

```

There should now be an executable at `target/release/lickety`.

## Usage

```

$ lickety --help

```