lethalman b4824ffc5d Merge pull request #7103 from gebner/verit ... Add veriT, an SMT solver.		2015-03-31 12:31:26 +02:00
..
astronomy
biology
chemistry/avogadro
electronics	Updating gtkwave to 3.3.64	2015-02-26 10:36:10 +01:00
geometry
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
molecular-dynamics/gromacs
programming/plm
spyder