smt-lang

Crates.iosmt-lang
lib.rssmt-lang
version0.7.5
sourcesrc
created_at2022-10-28 15:58:14.018576
updated_at2023-02-17 09:58:32.744898
descriptionSat Modulo Theory Language
homepage
repositoryhttps://github.com/DavidD12/smt-lang
max_upload_size
id700507
size294,209
(DavidD12)

documentation

README

Install

  1. Install Rust: Rust
  2. Install clang:
     xxx@XXX:~$ sudo apt install clang
    
  3. Install SMT-Language:
     xxx@XXX:~$ cargo install smt-lang
    

Run SMT-language

xxx@XXX:~$ smt-lang --file problem_file.sl

Example

Problem

let b: Bool
let i: 1..100
let r: Real

constraint C1 = (
    i >= 10
)
constraint C2 = (
    r <= 20.0 and b
)

Solve

xxx@XXX:~$ smt-lang --file example.sl

Solution

let b: Bool = true
let i: 1..100 = 10
let r: Real = 20

Options

Verbose

  • --verbose 0 : display nothing except the result
  • --verbose 1 : display analysis result
  • --verbose 2 : display loaded problem
  • --verbose 3 : display SMT problem and SMT model if a solution is found

Syntax

Commit count: 64

cargo fmt