GitHub · Where software is built

Labels Milestones New issue

Making accept method faster

#115

· ivanDonadello opened

on Sep 15, 2023

DFA equality

good first issue

#114

· bennn opened

on Jan 4, 2023

Implement `BddDfa`

#111

· marfvr opened

on May 23, 2021

Implement boolean operations over `SymbolicDFA`

#110

· marfvr opened

on May 23, 2021

Implement boolean operations of `SimpleDFA`

#109

· marfvr opened

on May 23, 2021

Permission error while saving graphs using graphvix

#108

· HideOnHeart0507 opened

on Mar 6, 2021

Typo in example of README

#107

· marfvr opened

on Feb 11, 2021

Generate a random DFA of size N

#106

· odats opened

on Aug 11, 2020

Implement serialization/deserialization into/from several formats

#105

· marfvr opened

on Jun 17, 2020

Make SymbolicDFA accept SymPy symbols as keys of propositional interpretations

#104

· marfvr opened

on May 24, 2020

Provide documentation for Simulator APIs

#98

· marfvr opened

on Feb 29, 2020

Add `SimpleNFA` examples in docs.

#93

· marfvr opened

on Feb 28, 2020