essential-debugger 0.2.0

An experimental constraint debugger for the Essential constraint checking engine
Documentation
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
{ cargo-toml-lint
, clippy
, essential-debugger
, mkShell
, rust-analyzer
, rustfmt
}:
mkShell {
  inputsFrom = [
    essential-debugger
  ];
  buildInputs = [
    cargo-toml-lint
    clippy
    rust-analyzer
    rustfmt
  ];
}