Giters

weirane / egsolver

Bottom up enumeration with egg

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

program-synthesis

egsolver

Bottom-up enumeration using egg.

About

Bottom up enumeration with egg

program-synthesis

License:GNU General Public License v3.0

Languages

Language:Slash 55.0%Language:Rust 24.5%Language:Mathematica 20.3%Language:Shell 0.1%