LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Narratives
Ecosystems
Launchpads

Discover

Search
Sources

C++

tip

A model checker based on SAT solving and induction

C++Emerging

Stars

15

Forks

6

Contributors

2

Last push

137mo ago

Recent commits

Latest commits.

Flush radius output.
ab02b4fNiklas Sorensson155mo ago
Change how resource usage is printed
25ba845Niklas Sorensson155mo ago
Fix bug in reporting results.
86ae091Niklas Sorensson157mo ago
Add verbosity-level which includes correct incremental radius output
e3b5ec4Niklas Sorensson157mo ago
Don't link dynamically to submodules.
85ce512Niklas Sorensson163mo ago

Also handle/print proof radius.

7a50a75Niklas Sorensson163mo ago

Print number of conflicts in relative induction statistics.

0803aa5Niklas Sorensson163mo ago

Merge branch 'mentor-master'

4ef103dNiklas Sorensson163mo ago

Top contributors

Builders behind this project.