https://github.com/mprojectscode/vass-reachability

https://github.com/mprojectscode/vass-reachability

Last synced: 11 months ago
JSON representation

• Host: GitHub
• URL: https://github.com/mprojectscode/vass-reachability
• Owner: mProjectsCode
• Created: 2024-06-18T11:58:13.000Z (almost 2 years ago)
• Default Branch: main
• Last Pushed: 2025-04-17T12:47:24.000Z (about 1 year ago)
• Last Synced: 2025-07-19T10:52:47.353Z (11 months ago)
• Language: Rust
• Size: 291 KB
• Stars: 1
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

          
# VASS Reachability Tool

A work in progress tool for solving VASS reachability based on recent results on regular separability for VASS reachability languages.

## Requirements

- [Rust](https://www.rust-lang.org/) (and Cargo) 1.79.0 and above

## Usage

Currently the project only includes tests which can be run with:

```sh

cargo test

```

Or with `RUST_BACKTRACE=1 cargo test --release -- --test-threads=1 --nocapture` to get fast, non overlapping tests with debug output.

## Authors and Contact

This is a project by the [Institute of Theoretical Computer Science](https://www.tcs.cs.tu-bs.de) of the Technical University Brunswick.