LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Narratives
Ecosystems
Launchpads

Discover

Search
Sources

C++

z3

The Z3 Theorem Prover

C++Emerging

Stars

—

Forks

—

Contributors

8

Last push

40mo ago

Recent commits

Latest commits.

Makes util target unique
091702dFlorian Sattler40mo ago
VaRA compatibility patch
7b64f84Fabian Schiebel44mo ago
Further LLVM compatibility patches
02d0c86Fabian Schiebel46mo ago
Rename the opt target to avoid name clashes with LLVM opt
2b6a237Fabian Schiebel46mo ago
inc version
8e6f17eNikolaj Bjorner46mo ago

release notes

1382cdeNikolaj Bjorner46mo ago

use for pattern instead of iterators

85c8168Nikolaj Bjorner46mo ago

fix wrong condition for delayed bit-blasting

60967efNikolaj Bjorner46mo ago

Top contributors

Builders behind this project.