nixpkgs/pkgs/applications/science
lethalman b4824ffc5d Merge pull request #7103 from gebner/verit
Add veriT, an SMT solver.
2015-03-31 12:31:26 +02:00
..
astronomy kill libiconvOr* 2015-02-07 20:29:28 -08:00
biology Fix many package descriptions 2014-08-24 22:31:37 +02:00
chemistry/avogadro avogadro: build documentation 2013-12-18 18:18:22 +02:00
electronics Updating gtkwave to 3.3.64 2015-02-26 10:36:10 +01:00
geometry Turn some license strings into lib.licenses values 2014-07-28 11:31:14 +02:00
logic Merge pull request #7103 from gebner/verit 2015-03-31 12:31:26 +02:00
math pcalc: 20120812 -> 20141224 2015-03-24 18:27:42 +01:00
misc unmaintain a bunch of packages 2015-01-13 22:33:49 +01:00
molecular-dynamics/gromacs Fix many package descriptions 2014-08-24 22:31:37 +02:00
programming/plm New package PLM: Programmer's Learning Machine 2015-02-13 16:06:19 +01:00
spyder Fix many package descriptions 2014-08-24 22:31:37 +02:00