Issues

• Numeric slots beyond #maxv never receive bounds during optimisation (--space-size 0, spurious UNSAT)

  spike-imperial/FastLAS#14 · Filter by author arthur-drozdov opened on Sep 28, 2026

• Non-deterministic results in Fast LAS when using multithreading

  spike-imperial/FastLAS#10 · Filter by author Maysk opened on Apr 16, 2026

• FastLAS gets stuck in "Computing SAT-sufficient subset" when using numeric comparison predicates

  spike-imperial/FastLAS#9 · Filter by author Maysk opened on Mar 14, 2026
  1

• Unknown token: '#'

  spike-imperial/FastLAS#6 · Filter by author pudumagico opened on Apr 18, 2024
  3