egg 0.6.0

An implementation of egraphs
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24

name: Build and Test

on: [push, pull_request]

jobs:
  build:

    runs-on: ubuntu-latest

    steps:
    - uses: actions/checkout@v1
    - name: Cache cargo bin
      uses: actions/cache@v1
      with:
        path: ~/.cargo/bin
        key: ${{ runner.os }}-cargo-bin
    - name: Install cargo web
      run: which cargo-web || cargo install cargo-web
    - name: Install cargo deadlinks
      run: which cargo-deadlinks || cargo install cargo-deadlinks
    - name: Install graphviz
      run: sudo apt-get update && sudo apt-get install graphviz
    - name: Build and Test
      run: make