Name		Name	Last commit message	Last commit date
Latest commit History 4 Commits
config		config
configuration		configuration
features		features
p2		p2
plugins		plugins
LICENSE		LICENSE
LICENSE.GPL		LICENSE.GPL
LICENSE.GPL.LESSER		LICENSE.GPL.LESSER
README		README
README.md		README.md
Ultimate		Ultimate
Ultimate.ini		Ultimate.ini
Ultimate.py		Ultimate.py
artifacts.xml		artifacts.xml
cvc4		cvc4
cvc4-AUTHORS		cvc4-AUTHORS
cvc4-LICENSE		cvc4-LICENSE
mathsat		mathsat
mathsat-LICENSE		mathsat-LICENSE
z3		z3
z3-LICENSE		z3-LICENSE

Repository files navigation

UAutomizer-linux

Copyright (C) 2012-2017 University of Freiburg

The UAutomizer-linux package has been downloaded from the below link https://github.com/ultimate-pa/ultimate/releases/download/v0.1.23/UltimateAutomizer-linux.zip The following changes are done in the downloaded package:
- Removed the following binaries and corresponding licenses:
  - cvc4
  - cvc4-LICENSE
- Added the following binaries and corresponding licenses:
  - mathsat-LICENSE: With permission from MATHSAT team to use MathSAT within VeriAbs for SV-COMP 2019 (https://sv-comp.sosy-lab.org/2019/) only.
  - cvc4: A version of CVC4(binary) that uses no GPLed libraries, by configuring it with "--bsd" option. (Build steps: https://github.com/CVC4/CVC4/blob/master/INSTALL.md)
  - cvc4-LICENSE: Modified BSD

About

No description, website, or topics provided.

LGPL-3.0, GPL-3.0 licenses found

Licenses found

Report repository

Releases

No releases published

Packages

No packages published

Languages