search

danielbinder / LogiVis

A teaching aid for concepts and algorithms in logic
MIT License
2 stars 0 forks source link

Bugfix: Added errors to SampleImplementation since the behavior was unclear i… #10

Closed danielbinder closed 10 months ago

danielbinder commented 11 months ago

…n some algorithms when no initial states were present

Also adapted README to accurately reflect how we handle bugfixes