Giters

p4l1ly / automata-safa-capnp

interchange format for various forms of finite automata, with the aim at symbolic alternating finite automata

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

afapipe

Installation

To install dependencies, please issue:

Debian/Ubuntu: apt-get install capnproto cmake Arch Linux: sudo pacman -S capnproto cmake Homebrew (OSX): brew install capnp cmake

About

interchange format for various forms of finite automata, with the aim at symbolic alternating finite automata

License:BSD 3-Clause "New" or "Revised" License

Languages

Language:C++ 50.8%Language:Cap'n Proto 26.1%Language:CMake 8.6%Language:Haskell 6.0%Language:Python 4.6%Language:Rust 3.8%