mirror of
https://github.com/NixOS/nixpkgs.git
synced 2024-11-28 18:03:04 +00:00
5aa4495cb5
There are two versions here because beginning with 1.6.0, Boolector has a more restrictive, unfree license which disallows commercial use. As a result, Boolector 1.5 is the default 'boolector' expression. Signed-off-by: Austin Seipp <aseipp@pobox.com> |
||
---|---|---|
.. | ||
astronomy | ||
biology | ||
chemistry/avogadro | ||
electronics | ||
geometry | ||
logic | ||
math | ||
misc | ||
molecular-dynamics/gromacs | ||
spyder |