Commit 5223d1f8 authored by Vincent Laporte's avatar Vincent Laporte Committed by Vincent Laporte
Browse files

msat: init at 0.9.1

parent 3ae6216c

pkgs/applications/science/logic/msat/default.nix

0 → 100644
+13 −0
Original line number Diff line number Diff line 
{ lib, ocamlPackages }:



with ocamlPackages; buildDunePackage {

  pname = "msat-bin";



  inherit (msat) version src;



  buildInputs = [ camlzip containers msat ];



  meta = msat.meta // {

    description = "SAT solver binary based on the msat library";

  };

}

pkgs/top-level/all-packages.nix

+2 −0
Original line number Diff line number Diff line
@@ -39550,6 +39550,8 @@ with pkgs; 














  monosat = callPackage ../applications/science/logic/monosat { };



























  msat = callPackage ../applications/science/logic/msat { };



























  nusmv = callPackage ../applications/science/logic/nusmv { };





























  nuXmv = callPackage ../applications/science/logic/nuXmv { };