comby-infer

Infer comby rewrite rules from concrete examples

Docker image

Local source build

Build inference binary

make binary

Build and run server

make -C client release && make -C server run

Docker source build

docker build --platform linux/amd64 --tag auto-comby-ubuntu-20.04 .