https://github.com/comby-tools/comby-infer

Infer comby rewrite rules from concrete examples
https://github.com/comby-tools/comby-infer

Last synced: 4 months ago
JSON representation

Infer comby rewrite rules from concrete examples

• Host: GitHub
• URL: https://github.com/comby-tools/comby-infer
• Owner: comby-tools
• Created: 2022-08-06T20:53:42.000Z (about 3 years ago)
• Default Branch: main
• Last Pushed: 2022-08-07T01:52:49.000Z (about 3 years ago)
• Last Synced: 2025-05-13T17:37:43.707Z (5 months ago)
• Language: Elm
• Size: 9.77 KB
• Stars: 5
• Watchers: 1
• Forks: 0
• Open Issues: 0
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

          
# 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 .

```