nixpkgs/pkgs/applications/science
Michael Raskin ebb370f680 z3-tptp: init
Z3 ships a TPTP-supporting wrapper as an example; allow building it
2019-01-22 16:51:18 +01:00
..
astronomy stellarium: 0.18.2 -> 0.18.3 2018-12-24 04:42:47 -08:00
biology picard-tools: 2.18.21 -> 2.18.23 2019-01-16 21:43:19 -08:00
chemistry marvin: init at 19.1.0 2019-01-15 00:23:38 +10:00
electronics Merge branch 'master' into staging-next 2019-01-12 12:19:34 +01:00
geometry drgeo: add license + homepage 2018-09-08 14:42:12 +02:00
logic z3-tptp: init 2019-01-22 16:51:18 +01:00
machine-learning shogun: remove liblapack 2018-11-08 14:42:29 -06:00
math sage: fix transient ecl error (#54285) 2019-01-18 23:02:03 +01:00
medicine/aliza
misc Merge branch 'master' into staging-next 2019-01-12 12:19:34 +01:00
molecular-dynamics gromacs: 2018.4 -> 2019 2019-01-03 05:58:09 -08:00
physics Merge pull request #48675 from veprbl/pr/xfitter_fix 2019-01-20 20:00:02 -05:00
programming plm: remove dead homepage link, mark as broken 2018-09-02 01:46:25 +02:00
robotics qgroundcontrol: fixes #49870 2018-11-14 13:12:20 +01:00
spyder