WhiteMech

WhiteMech's repositories

From LTLf/LDLf To Automata

Language:PythonGPL-3.021 3 8

Utilities for the HOA format.

Language:PythonLGPL-3.06 2 3

Synthesizer of LTLf formula

Language:C++MIT4 10

A web app that provides some utilities for the HOA format.

Language:JavaScriptMIT2 2 1

Language:Python1 20

An automata learning library written in Python.

Language:PythonGPL-3.01 10

MONA - a decision procedure for monadic second-order logic on finite strings and trees

Language:CGPL-2.01 10

Repository mirror to the cpphoafparser project.

Language:C++020

CUDD: CU Decision Diagram package - unofficial git mirror of http://vlsi.colorado.edu/~fabio/

Language:CBSD-3-Clause010

A brazen two-column theme for Jekyll.

Language:CSSNOASSERTION010

This repository presents Lisa, which performs the following functions (a). An LTLf to DFA conversion tool, and (b) An LTLf synthesis tool.

Language:C++GPL-3.0010

A minimalistic and high-performance SAT solver

Language:C++NOASSERTION010