Overview Repositories Revisions Requests Users Attributes Meta

CVC3

Edit Package cvc3

cvc3 solver

  • Download package
  • osc -A https://api.opensuse.org checkout home:shvedsky/cvc3 && cd $_
  • Create Badge
Refresh
Refresh
Source Files
Filename Size Changed
_service 0000000057 57 Bytes
_service:download_files:cvc3-2.4.1.tar.gz 0001196616 1.14 MB
cvc3.spec 0000003624 3.54 KB
Latest Revision
shvedsky's avatar shvedsky committed (revision 4) 
trigger service run
Comments 0
openSUSE Build Service is sponsored by
Places