Back to search
Top Contributors
143
commits
79
commits
21
commits
18
commits
6
commits
3
commits
1
commits
Loom is a framework for automated generation of foundational multi-modal verifiers. This repository is a mirror with stable snapshots. Submit issues and PRs here.
Stars
140
Forks
9
Watchers
140
Open Issues
11
Overall repository health assessment
No package.json found
This might not be a Node.js project
143
commits
79
commits
21
commits
18
commits
6
commits
3
commits
1
commits
feat: adding asynchronous execution of solver tactics for generated VCs (#33)
210c056View on GitHubMerge pull request #34 from verse-lab/update-docs
7d3dbabView on GitHubrefactor: This commit refactors how is the default Velvet solver is controlled
be5d5b7View on GitHubfeat: auto-install z3 and cvc5 (use them via `loom_smt` tactic) (#28)
8d1f612View on GitHub