Projects

Updated 6 months ago

dfa_identify • Rank 8.4 • Science 77%

Python library for identifying/learning DFAs from labeled examples by reduction to SAT.

automata dfa learning sat

Updated 6 months ago

aurus • Science 49%

AuRUS 🧬: A Search-Based approach to repair unrealisable Linear-Time Temporal Logic (LTL) specifications.

automata evolutionary-algorithms formal-methods genetic-algorithm linear-temporal-logic ltl matrix-multiplication owl-api reactive-synthesis sat search-based-software-engineering searching-algorithms strix synthesis

Updated 6 months ago

sat_algorithms- • Science 49%

algorithm belief-propagation sat sat-solver survey-propagation warning-propagation

Updated 6 months ago

conjure • Science 36%

Conjure: The Automated Constraint Modelling Tool

combinatorial-optimization constraint-programming constraints modelling sat

ecosyste.ms

Data

Tools

Indexes

Applications

Experiments

Open Source Science

dfa_identify • Rank 8.4 • Science 77%

aurus • Science 49%

sat_algorithms- • Science 49%

conjure • Science 36%