nixpkgs/pkgs/applications/science/logic
Austin Seipp b72f543f96 picosat: install more stuff
Projects like the AIGER toolkit want to use the picosat.o object file in order
to do SAT solving. Install this, along with the header and version information,
so a build of the AIGER can use it. This means that picosat does not need to be
built twice.

Signed-off-by: Austin Seipp <aseipp@pobox.com>
2017-10-16 12:01:17 -05:00
..
abc abc-verifier: fix typo in meta 2017-07-15 09:27:41 +02:00
abella abella: 2.0.2 -> 2.0.4 2017-10-16 02:39:16 +02:00
acgtk acgtk: fix homepage url 2017-08-17 15:04:37 -07:00
alt-ergo alt-ergo: use https instead of http to fetch archive 2017-08-13 13:26:30 +02:00
aspino aspino: patch to use c++ instead of g++ 2016-08-10 22:29:18 -05:00
avy nixpkgs: add 'avy' -- property directed AIGER model checking 2017-10-16 12:01:17 -05:00
boolector boolector: 1.{5,6} -> 2.4.1 2017-07-18 23:50:31 +02:00
coq coq: 8.7+beta1 -> 8.7+beta2 2017-10-11 03:02:01 +02:00
coq2html coq2html: New expression 2017-08-01 09:30:20 -07:00
cryptominisat cryptominisat: use new xxd package instead of vim 2017-07-24 09:37:58 +08:00
cryptoverif cryptoverif: init at 1.22 2016-06-28 04:37:29 +00:00
cubicle cubicle: 1.0.2 -> 1.1.1 2017-10-11 07:38:27 +00:00
cvc3 cvc3: Add gcc6 patch from Gentoo. 2017-08-29 13:48:09 -05:00
cvc4 misc pkgs: Basic sed to get fix pkgconfig and autoreconfHook buildInputs 2017-09-21 15:49:53 -04:00
ekrhyper Update EKRHyper 2014-03-08 21:12:59 +04:00
eprover eprover: 1.9.1 -> 2.0 2017-09-05 13:59:07 +02:00
gappa Adds gappa 1.2.0 2015-05-25 19:32:09 +02:00
glucose glucose, glucose-syrup: init at 4.0 2016-06-21 13:26:51 +02:00
hol pkgs: refactor needless quoting of homepage meta attribute (#27809) 2017-08-01 22:03:30 +02:00
hol_light hol_light: 2016-07-23 -> 2017-07-06 2017-07-08 06:14:43 +00:00
iprover iprover: 0.8.1 -> 2.5 2017-07-17 22:45:27 +01:00
isabelle isabelle: 2016-1 -> 2017 2017-10-10 11:18:57 +02:00
jonprl darwin: Disable yet another bunch of packages never having built successfully 2017-09-22 21:16:39 +03:00
lci Don't use "with licenses;" for single licences 2015-05-28 19:20:29 +02:00
lean lean: 3.2.0 -> 3.3.0 2017-09-15 08:48:02 +02:00
lean2 meson/ninja: add setup hooks (#28444) 2017-08-27 19:42:21 +02:00
leo2 leo2: remove use of builderDefsPackage (#17398) 2016-07-31 13:57:29 +02:00
logisim pkgs: refactor needless quoting of homepage meta attribute (#27809) 2017-08-01 22:03:30 +02:00
ltl2ba Merge remote-tracking branch 'upstream/master' into hardened-stdenv 2016-07-15 14:41:01 +00:00
matita treewide: use ocaml.version (#19192) 2016-10-05 09:32:30 +02:00
mcrl2 Revert "mcrl2: force use of gcc5 to prevent compilation errors" 2017-09-15 21:51:35 +02:00
metis-prover metis-prover: 2.3.20160102 -> 2.3.20160713 2016-07-21 18:41:26 +02:00
minisat pkgs: refactor needless quoting of homepage meta attribute (#27809) 2017-08-01 22:03:30 +02:00
open-wbo open-wbo: init at 2.0 2017-08-20 10:19:46 +02:00
opensmt pkgs: refactor needless quoting of homepage meta attribute (#27809) 2017-08-01 22:03:30 +02:00
ott misc pkgs: Basic sed to get fix pkgconfig and autoreconfHook buildInputs 2017-09-21 15:49:53 -04:00
otter Merge remote-tracking branch 'upstream/master' into hardened-stdenv 2016-05-02 22:58:02 +00:00
picosat picosat: install more stuff 2017-10-16 12:01:17 -05:00
poly libpoly: 0.1.3 -> 0.1.4 2017-08-27 10:10:47 -05:00
prooftree misc pkgs: Basic sed to get fix pkgconfig and autoreconfHook buildInputs 2017-09-21 15:49:53 -04:00
prover9 pkgs: refactor needless quoting of homepage meta attribute (#27809) 2017-08-01 22:03:30 +02:00
proverif proverif: 1.95 -> 1.97pl1 2017-09-13 20:01:55 +02:00
redprl pkgs: refactor needless quoting of homepage meta attribute (#27809) 2017-08-01 22:03:30 +02:00
sad treewide: Add lots of meta.platforms 2016-08-02 21:42:43 +03:00
satallax pkgs: refactor needless quoting of homepage meta attribute (#27809) 2017-08-01 22:03:30 +02:00
saw-tools replace ${stdenv.cc.cc}/lib occurences 2016-05-01 00:13:23 +03:00
spass spass: 3.7 -> 3.9 2016-06-21 08:18:20 +02:00
statverif statverif: init at 1.86pl4 2016-06-28 04:36:11 +00:00
stp stp: 2014.01.07 -> 2.2.0 2017-05-22 22:25:45 +01:00
symbiyosys nixpkgs: add symbiyosys, for HDL verification flows 2017-10-16 12:01:17 -05:00
tptp tptp: 6.4.0 -> 7.0.0 2017-10-02 11:46:33 +02:00
twelf misc pkgs: Basic sed to get fix pkgconfig and autoreconfHook buildInputs 2017-09-21 15:49:53 -04:00
verifast treewide: explicitly specify gtk and related package versions 2016-09-12 18:26:06 +03:00
verit veriT: 201506 -> 2016 2017-02-01 19:43:02 +01:00
why3 why3: 0.87.1 -> 0.87.3 2017-01-21 13:31:10 +00:00
yices misc pkgs: Basic sed to get fix pkgconfig and autoreconfHook buildInputs 2017-09-21 15:49:53 -04:00
z3 use https://github.com for all homepages 2017-08-17 14:53:40 -07:00