Issues

• isolate semigroup computation in separate crate

  SynthesisLab/shepherd#99 · Filter by author Numero7 opened on Sep 26, 2025

• speed up computation

  SynthesisLab/shepherd#98 · Filter by author Numero7 opened on Jun 16, 2025
  

• document max_finite_coordinate

  SynthesisLab/shepherd#90 · Filter by author Numero7 opened on May 8, 2025
  1

• Licence

  SynthesisLab/shepherd#81 · Filter by author pazz opened on Apr 8, 2025

• possible optimization for sheep

  SynthesisLab/shepherd#72 · Filter by author pazz opened on Apr 2, 2025
  3

• exit codes

  enhancement
  Feature

  SynthesisLab/shepherd#71 · Filter by author pazz opened on Mar 31, 2025

• optimization: compositional approach

  SynthesisLab/shepherd#67 · Filter by author Numero7 opened on Mar 28, 2025

• topological sorting should put initial states first

  SynthesisLab/shepherd#65 · Filter by author Numero7 opened on Mar 28, 2025

• optimization: product of ideals

  SynthesisLab/shepherd#61 · Filter by author Numero7 opened on Mar 27, 2025

• python bindings

  Feature

  SynthesisLab/shepherd#35 · Filter by author Numero7 opened on Mar 26, 2025

• tex output: render dot automata

  SynthesisLab/shepherd#33 · Filter by author pazz opened on Mar 26, 2025
  2

• graphics

  SynthesisLab/shepherd#5 · Filter by author Numero7 opened on Mar 19, 2025
  1