JarCasting
JarCasting JarCasting

SMTInterpol Solver

SMTInterpol interpolating SMT solver

Лицензия

Лицензия
Группа

Группа

org.sosy-lab
Идентификатор

Идентификатор

smtinterpol
Последняя версия

Последняя версия

2.1-255-gcdd5908
Дата

Дата
Тип

Тип

jar
Описание

Описание

SMTInterpol Solver
SMTInterpol interpolating SMT solver
Ссылка на сайт

Ссылка на сайт

http://ultimate.informatik.uni-freiburg.de/smtinterpol/
Организация-разработчик

Организация-разработчик

ultimate-pa
Система контроля версий

Система контроля версий

https://github.com/ultimate-pa/smtinterpol

Скачать smtinterpol

Имя Файла Размер
smtinterpol-2.1-255-gcdd5908.pom
smtinterpol-2.1-255-gcdd5908.jar 1 MB
smtinterpol-2.1-255-gcdd5908-sources.jar 1019 KB
smtinterpol-2.1-255-gcdd5908-javadoc.jar 341 KB
smtinterpol-2.1-255-gcdd5908-comp.jar 1 MB
Обзор

Как подключить последнюю версию

<!-- https://jarcasting.com/artifacts/org.sosy-lab/smtinterpol/ -->
<dependency>
    <groupId>org.sosy-lab</groupId>
    <artifactId>smtinterpol</artifactId>
    <version>2.1-255-gcdd5908</version>
</dependency>
// https://jarcasting.com/artifacts/org.sosy-lab/smtinterpol/
implementation 'org.sosy-lab:smtinterpol:2.1-255-gcdd5908'
// https://jarcasting.com/artifacts/org.sosy-lab/smtinterpol/
implementation ("org.sosy-lab:smtinterpol:2.1-255-gcdd5908")
'org.sosy-lab:smtinterpol:jar:2.1-255-gcdd5908'
<dependency org="org.sosy-lab" name="smtinterpol" rev="2.1-255-gcdd5908">
  <artifact name="smtinterpol" type="jar" />
</dependency>
@Grapes(
@Grab(group='org.sosy-lab', module='smtinterpol', version='2.1-255-gcdd5908')
)
libraryDependencies += "org.sosy-lab" % "smtinterpol" % "2.1-255-gcdd5908"
[org.sosy-lab/smtinterpol "2.1-255-gcdd5908"]

Зависимости

Библиотека не имеет зависимостей. Это самодостаточное приложение, которое не зависит ни от каких других библиотек.

Модули Проекта

Данный проект не имеет модулей.

SMTInterpol

This is SMTInterpol, an interpolating SMT-solver developed at the university of Freiburg. You can find more information on the website

http://ultimate.informatik.uni-freiburg.de/smtinterpol/

Compilation

To compile SMTInterpol you need:

  • Java (at least version 1.6)
  • Apache ant

SMTInterpol comes with an ant build file that compiles the sources into a bin folder (will be created by the build), and creates a standalone jar. You can run it with

ant

Usage

To run SMTInterpol from command line you need the standalone jar. Run it as

java -jar smtinterpol.jar

and pass the necessary commands to the standard input of this process. Alternatively you can specify a SMTLIB 2 script file as argument to the process. In either case, SMTInterpol will parse and execute commands until it an exit command or the end of the input stream.

Integration into Eclipse

The source distribution of SMTInterpol is an Eclipse project. If you want to use this project, you can easily import it into Eclipse as "Existing Project into Workspace".

Reporting Bugs

You can report bugs using the bug-tracker at github. Please provide all needed information. This includes:

  • a description of the bug (e.g., crash, unsoundness, or feature-request),
  • a way to reproduce the bug (e.g., an interaction log with the solver via the LoggingScript provided with the sources).
(declare-fun in (using) SMTInterpol)
org.sosy-lab

Версии библиотеки

Версия
2.1-255-gcdd5908
2.1-238-g1f06d6a