2 Commits

Author	SHA1	Message	Date
B. Watson	5ae81d7905	academic/cvc4: Fix slack-desc. ... Signed-off-by: B. Watson <yalhcru@gmail.com>	2020-01-12 08:47:29 +07:00
Nick Smallbone	3015af4e87	academic/cvc4: Added (Theorem Solver). ... Signed-off-by: Willy Sudiarto Raharjo <willysr@slackbuilds.org>	2019-03-23 08:17:49 +07:00