diff options
| author | William PC <w_calandrini[at]hotmail[dot]com> | 2022-11-05 12:46:15 +0700 |
|---|---|---|
| committer | Willy Sudiarto Raharjo <willysr@slackbuilds.org> | 2022-11-05 12:46:15 +0700 |
| commit | 8323de654b46749e7f68fa48bae5bb82c4c74ac5 (patch) | |
| tree | 7901871f567999a9e5407e3c19920d0f36b6888d /academic/veusz | |
| parent | aa6d927a727a5eaee4a5a3dbd2fc3fc05bc0603b (diff) | |
academic/yices2: Added (Satisfiability modulo theories solver).
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
Diffstat (limited to 'academic/veusz')
0 files changed, 0 insertions, 0 deletions