absolute
absolute 0.3
A constraint solver based on abstract domains from the theory of abstract interpretation
https://github.com/mpelleau/AbSoluteGNU Lesser General Public License v3.0 or later
programs: absolute
Platforms (26)
armv7l-linuxpowerpc64le-linuxs390x-linuxarmv5tel-linuxx86_64-linuxarmv6l-linuxriscv32-linuxx86_64-darwin
Install
Copy into your configuration
NixOS (configuration.nix)
environment.systemPackages = with pkgs; [ absolute ];
Ad-hoc shell
nix-shell -p absolute
Flake (nix run)
nix run nixpkgs#absolute