lorisdanto/symbolicautomata

Issues

• Failing unit tests

  #26 opened 5 years ago by p4l1ly
  4

• Can I use the symbolic automata for Modeling check?Have some theories for guide?

  #25 opened 5 years ago by JiCoM
  4

• Problem I meet some like \u000 \uffff，these seem likes error ?

  #24 opened 5 years ago by JiCoM
  1

• isDeterministic variable not initialized in SFT.MkSFT

  #17 opened 6 years ago by GeorgeArgyros
  2

• com.sun.xml.internal import

  #14 opened 6 years ago by istais
  4

• Test are not working

  #1 opened 7 years ago by Gillani0
  2