5401849e3a
This comes with several extra libraries, including GraphSCC, monadLib, presburger, process and smtLib, all required as build dependencies. But otherwise totally automated via cabal2nix. Next up is CVC4 (a total pain in the ass to package) for proving/SAT support. I have another WIP branch for the unfree 1.x series which I may (or may not) add later as it has external verification tech at the moment. Signed-off-by: Austin Seipp <aseipp@pobox.com>
15 lines
451 B
Nix
15 lines
451 B
Nix
{ cabal }:
|
|
|
|
cabal.mkDerivation (self: {
|
|
pname = "presburger";
|
|
version = "1.1";
|
|
sha256 = "0pb0rabhhzrrrsr8260lgjpp168pm8ldqwfqbc2i1wy95n7wxk7c";
|
|
meta = {
|
|
homepage = "http://github.com/yav/presburger";
|
|
description = "A decision procedure for quantifier-free linear arithmetic";
|
|
license = self.stdenv.lib.licenses.bsd3;
|
|
platforms = self.ghc.meta.platforms;
|
|
maintainers = [ self.stdenv.lib.maintainers.thoughtpolice ];
|
|
};
|
|
})
|