Getting all SMT benchmarks

22 views
Skip to first unread message

Dennis Yurichev

unread,
Nov 9, 2023, 10:57:31 AM11/9/23
to SMT-LIB
Hi all!

I want $SUBJ for grepping.
Is it possible to mirror all benchmarks from starexec?
So far I'm mirroring clc-gitlab.cs.uiowa.edu -- is it current, I believe?

Clark Barrett

unread,
Nov 9, 2023, 12:17:39 PM11/9/23
to smt...@googlegroups.com
The UIowa gitlab repositories have the latest benchmarks and cloning them is the recommended way to stay current.

-Clark


--
You received this message because you are subscribed to the Google Groups "SMT-LIB" group.
To unsubscribe from this group and stop receiving emails from it, send an email to smt-lib+u...@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/smt-lib/adebd053-3fa9-40dd-afd9-c271f0179fd5n%40googlegroups.com.
Reply all
Reply to author
Forward
0 new messages