Search results

Making accept method faster

Status: Open.

#115 In whitemech/pythomata;

· ivanDonadello opened on Sep 15, 2023

DFA equality

good first issueGood for newcomersGood for newcomers

Status: Open.

#114 In whitemech/pythomata;

· bennn opened on Jan 4, 2023

Implement BddDfa

Status: Open.

#111 In whitemech/pythomata;

· marfvr opened on May 23, 2021

Implement boolean operations over SymbolicDFA

Status: Open.

#110 In whitemech/pythomata;

· marfvr opened on May 23, 2021

Implement boolean operations of SimpleDFA

Status: Open.

#109 In whitemech/pythomata;

· marfvr opened on May 23, 2021

Permission error while saving graphs using graphvix

Status: Open.

#108 In whitemech/pythomata;

· HideOnHeart0507 opened on Mar 6, 2021

Typo in example of README

Status: Open.

#107 In whitemech/pythomata;

· marfvr opened on Feb 11, 2021

Generate a random DFA of size N

Status: Open.

#106 In whitemech/pythomata;

· odats opened on Aug 11, 2020

Implement serialization/deserialization into/from several formats

Status: Open.

#105 In whitemech/pythomata;

· marfvr opened on Jun 17, 2020

Make SymbolicDFA accept SymPy symbols as keys of propositional interpretations

Status: Open.

#104 In whitemech/pythomata;

· marfvr opened on May 24, 2020

Provide documentation for Simulator APIs

docsStuff related to documentation.Stuff related to documentation.

Status: Open.

#98 In whitemech/pythomata;

· marfvr opened on Feb 29, 2020

Add SimpleNFA examples in docs.

docsStuff related to documentation.Stuff related to documentation.

Status: Open.

#93 In whitemech/pythomata;

· marfvr opened on Feb 28, 2020