diff options
| author |   alan_NaverOsa@lavSaPbiAtM.com <alan_NaverOsa@lavSaPbiAtM.com> | 2024-04-14 10:59:06 +0700 |
|---|---|---|
| committer |   Willy Sudiarto Raharjo <willysr@slackbuilds.org> | 2024-04-14 12:05:18 +0700 |
| commit | df4e060a184822c8b1c25f34c1f0ce2676f7453b (patch) | |
| tree | 16edb9f013bf963655aeec0403a51c294aa42adb /system | |
| parent | 5118f7868b5d7c3bd3bdf22249912be8c630e995 (diff) | |
| download | slackbuilds-df4e060a184822c8b1c25f34c1f0ce2676f7453b.tar.gz slackbuilds-df4e060a184822c8b1c25f34c1f0ce2676f7453b.tar.xz | |
academic/kissat: Added (SAT solver).
Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>
Diffstat (limited to 'system')
0 files changed, 0 insertions, 0 deletions