Lib.rs

› Parser implementations
#parser #format #sygus-parser

bin+lib sygus-parser

A Rust parser for the SyGuS format

Owned by wuc9521.

1 unstable release

new 0.1.0 Apr 19, 2025

#1508 in Parser implementations

MIT license

85KB
1.5K SLoC

Rust 1K SLoC // 0.1% comments Pest 240 SLoC // 0.1% comments

sygus-parser-rs

A Rust Implementation of SyGuS v2.1

Dependencies

~4.5MB
~81K SLoC