LoreonLabsPlatform

Overview

Intelligence

Markets
Builders
Research
Ecosystems
Launchpads

Search

C++

Syft

Synthesizer of LTLf formula

C++Emerging

Stars

—

Forks

2

Contributors

2

Last push

93mo ago

Recent commits

Latest commits.

ignore build files
1ae5213saffiepig93mo ago
fix bug on initial state
933516eKeliang He95mo ago
make include more robust
926cbcaKeliang He96mo ago
fix install isntructions
b02e121Keliang He96mo ago
use cudd installed at home
b330699Keliang He96mo ago
make things work with bdd synthesis

d642ce3Keliang He96mo ago

make syn class use pointers for DFA and manager

4b47cf9Keliang He96mo ago

constructing full BDD

029f852Keliang He96mo ago

Top contributors

Builders behind this project.