Project

General

Profile

Feature #2101

Support for z3lib JNI

Added by Bernhard Schätz about 6 years ago. Updated almost 5 years ago.

Status:
Closed
Priority:
Normal
Assignee:
Category:
-
Start date:
09/02/2014
Due date:
% Done:

100%

Estimated time:
(Total: 0.00 h)

Description

As z3 provides the use of a JNI tot he z3lib, this should be provided as an alternative (or even preferred) way to access z3. It does not only speed up the call of z3 (no additional parsing of a textual file), but also also to reused previous computational results by keeping (or piping) a previous proof state.


Subtasks

Bug #2116: Microsoft Z3 plugin is missing native librariesClosedFlorian Hölzl

History

#1 Updated by Anonymous about 6 years ago

  • Project changed from AF3 2.0 Project to AF3 Phoenix
  • Target version set to Phoenix 2.7 Release

#2 Updated by Anonymous almost 6 years ago

  • Assignee set to Bernhard Schätz
  • Target version changed from Phoenix 2.7 Release to AF3 2.7 RC1 (features frozen)

Bernhard, I guess this is now solved?

#3 Updated by Anonymous almost 6 years ago

  • Target version changed from AF3 2.7 RC1 (features frozen) to AF3 2.8 RC1 (Feature Freeze)

#4 Updated by Anonymous over 5 years ago

  • Assignee changed from Bernhard Schätz to Johannes Eder
  • Target version changed from AF3 2.8 RC1 (Feature Freeze) to AF3 2.8 RC2 (Tested & Bugfixed)

#5 Updated by Johannes Eder about 5 years ago

  • Target version changed from AF3 2.8 RC2 (Tested & Bugfixed) to AF3 2.9 RC1 (Features frozen)

#6 Updated by Johannes Eder almost 5 years ago

  • Status changed from New to In Progress

#7 Updated by Anonymous almost 5 years ago

  • Status changed from In Progress to Closed

Also available in: Atom PDF