Issues

• Add unit tests

  enhancement
  ReduxISU/SPADE#46 · Filter by author Trosper3 opened on Oct 20, 2026 · 0.2.0
  1

  

• Move Mathematical Function into SPADE

  enhancementgood first issue
  ReduxISU/SPADE#45 · Filter by author Trosper3 opened on Oct 20, 2026 · 0.3.0
  1

• Parse boolean formulae

  enhancement
  ReduxISU/SPADE#44 · Filter by author Trosper3 opened on Oct 20, 2026 · 0.2.0
  2

• (Potential) Fully immutable collections: builders and no Add

  enhancementquestion
  ReduxISU/SPADE#42 · Filter by author Trosper3 opened on Oct 16, 2026 · 0.4.0

• A set or list literal in a definition crashes parse() with Stack empty

  good first issue
  ReduxISU/SPADE#41 · Filter by author Trosper3 opened on Oct 16, 2026 · 0.3.0

• not, and and or constraints crash parse() with a NullReferenceException

  good first issue
  ReduxISU/SPADE#40 · Filter by author Trosper3 opened on Oct 16, 2026 · 0.3.0

• Sets and lists of plain values: V is set of value

  question
  ReduxISU/SPADE#38 · Filter by author Trosper3 opened on Oct 16, 2026 · 0.3.0

• Name nested groups in a definition string, e.g. G = (V,E)

  question
  ReduxISU/SPADE#37 · Filter by author Trosper3 opened on Oct 16, 2026 · 0.3.0

• Variable descriptions (representing …): annotations in the grammar or on the Redux side

  question
  ReduxISU/SPADE#36 · Filter by author Trosper3 opened on Oct 15, 2026
  1

• Mappings and value grammars: per-element weights and SAT literals

  ReduxISU/SPADE#35 · Filter by author Trosper3 opened on Oct 15, 2026 · 0.3.0
  1

• (Deferred) Named predicates and list indexing: permutation, connected, acyclic, Q[i]

  ReduxISU/SPADE#34 · Filter by author Trosper3 opened on Oct 15, 2026
  1

• Cardinality and comparisons in constraints: |X|, 0 <= k <= |V|

  ReduxISU/SPADE#33 · Filter by author Trosper3 opened on Oct 15, 2026 · 0.3.0

• Problems as Input, Output, Certificate and Definition: SPADE structures and verifies them

  ReduxISU/SPADE#32 · Filter by author Trosper3 opened on Oct 15, 2026
  1

  

• Matrices and tensors: declare n-dimensional values with shape checks

  enhancement
  ReduxISU/SPADE#30 · Filter by author Trosper3 opened on Oct 15, 2026 · 0.2.0
  6

  

• Nested set names overwrite top-level parts and leak into the result

  good first issue
  ReduxISU/SPADE#26 · Filter by author Trosper3 opened on Oct 13, 2026 · 0.3.0

• Add 'number' for decimal values, next to 'int'

  enhancement
  ReduxISU/SPADE#23 · Filter by author Trosper3 opened on Oct 13, 2026 · 0.2.0

• Add an 'is string' type check

  enhancement
  ReduxISU/SPADE#22 · Filter by author Trosper3 opened on Oct 13, 2026 · 0.2.0

• (Low Priority) Report where each named part sits in the instance string

  ReduxISU/SPADE#20 · Filter by author Trosper3 opened on Oct 12, 2026 · 0.3.0

• Name the part an error belongs to on SpadeParseException

  ReduxISU/SPADE#19 · Filter by author Trosper3 opened on Oct 12, 2026 · 0.2.0

• Describe a definition's names and types without parsing an instance

  ReduxISU/SPADE#18 · Filter by author Trosper3 opened on Oct 12, 2026 · 0.2.0
  2

• fix(grammar): x is <set> and undefined names check nothing

  ReduxISU/SPADE#14 · Filter by author Trosper3 opened on Oct 1, 2026 · 0.3.0
  3

• fix(grammar): unorderedcross rejects every edge since d7e982e

  ReduxISU/SPADE#12 · Filter by author Trosper3 opened on Oct 1, 2026 · 0.2.0
  4

  

• is int and is set constraints don't check their type

  ReduxISU/SPADE#10 · Filter by author Trosper3 opened on Oct 1, 2026 · 0.2.0
  1

• (Low Priority) Write values back out in the same format

  ReduxISU/SPADE#8 · Filter by author Trosper3 opened on Oct 1, 2026 · 0.3.0

• Parsing is slow on large input and crashes the process on deep nesting

  ReduxISU/SPADE#7 · Filter by author Trosper3 opened on Oct 1, 2026 · 0.2.0