polyregular-model-checking/default.nix at main · AliaumeL/polyregular-model-checking · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
{ pkgs ? import <nixpkgs> {} }:
pkgs.buildEnv {
  name = "polyregular-model-checking";
  paths = [
    # haskell setup
    pkgs.ghc
    pkgs.haskellPackages.stack
    # pkgs.haskellPackages.haskell-language-server
    # bncf parser haskell
    pkgs.haskellPackages.BNFC
    pkgs.gmp
    pkgs.zlib
    pkgs.zlib.dev
    # alt-ergo prover (non-free)
    pkgs.alt-ergo
    # cvc5 prover
    pkgs.cvc5
    # z3 prover
    pkgs.z3
    # yices prover
    pkgs.yices
    # latex building environment
    # only light version
    # pkgs.texlive.combined.scheme-small
    # pandoc
    # pkgs.pandoc
    # python
    #pkgs.python3
    # pytest
    #pkgs.python3Packages.pytest
    # MONA
    (pkgs.callPackage ./mona.nix {})
    # tygiel
    # (pkgs.callPackage ./simplified_transducer/tygiel.nix {})
  ];
}