First install the Nix package manager and then enable Flakes. See nix.dev for more help with Nix. To install without cloning from this repository use,
$ nix develop github:adamantine-sim/adamantine
to install the latest version on master. To install the lastest release use,
$ nix develop github:adamantine-sim/adamantine#release
To install from a working copy use,
$ nix develop