search

Herb-AI / HerbBenchmarks.jl

Benchmarks and problems for Herb.jl
https://herb-ai.github.io/
MIT License
1 stars 0 forks source link

Fix SyGuS benchmarks #25

Closed THinnerichs closed 6 months ago

THinnerichs commented 6 months ago

Fixed grammar issue in SyGuS.jl.