ceetle 0.1.0

A Computional Tree Logic (CTL) Verifier
Documentation
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
[badges.maintenance]
status = "passively-maintained"

[dependencies.ceetle_macros]
version = "0.1.0"

[package]
categories = ["science", "mathematics", "algorithms", "logic"]
description = "A Computional Tree Logic (CTL) Verifier"
edition = "2021"
keywords = ["logic", "testing", "automaton"]
license = "MIT"
name = "ceetle"
readme = "README.md"
repository = "https://github.com/AzeezDa/ceetle"
version = "0.1.0"