Issues

• --version not working

  sybila/pithya-core#14 · Filter by author daemontus opened on Jul 30, 2018

• Maybe not correct state space of a corner case

  sybila/pithya-core#13 · Filter by author xhajnal opened on Jul 10, 2018

• Setting param out of the interval bound

  sybila/pithya-core#12 · Filter by author xhajnal opened on Mar 12, 2018

• new feature -constraints in the .bio model

  enhancement
  sybila/pithya-core#11 · Filter by author xhajnal opened on Mar 12, 2018

• reformation of json output

  sybila/pithya-core#10 · Filter by author martindemko opened on Apr 6, 2017
  3

• logging is not turned off correctly

  sybila/pithya-core#9 · Filter by author daemontus opened on Jan 25, 2017

• Option to specify Z3 path

  sybila/pithya-core#8 · Filter by author daemontus opened on Jan 25, 2017

• Dependent parameters, z3, java.library path

  sybila/pithya-core#4 · Filter by author xhajnal opened on Dec 7, 2016
  1