LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Narratives
Ecosystems
Launchpads

Discover

Search
Sources

AGS Script

cvc3-debian

Debian packaging for the CVC3 Satisfiability Modulo Theories tool.

AGS ScriptEmerging

Stars

—

Forks

—

Contributors

2

Last push

143mo ago

Recent commits

Latest commits.

fixes
f675befMorgan Deters143mo ago
remove vcs in control file
a4745d0Morgan Deters143mo ago
Specify 3-clause BSD license in dep5 copyright.
32f3426Morgan Deters143mo ago
fix "clean" target (resolves debian bug 756524)
c66ec58Morgan Deters143mo ago
update date
6c7d8cdMorgan Deters143mo ago

move debian/ files to top-level

56d30d8Morgan Deters143mo ago

Remove upstream package. Repository now contains debian packaging only

bc96f0eMorgan Deters143mo ago

Add mdeters to copyright for Debian packaging

1f63e93Morgan Deters143mo ago

Top contributors

Builders behind this project.