Reverse Dependencies of isla-solver

The following projects have a declared dependency on isla-solver:

• alhazen-py — Python version of the debugging tool Alhazen
• avicenna — AVICENNA: Semantic Debugging
• debugging-benchmark — no summary
• evogfuzz — Evolutionary Grammar-Based Fuzzer
• islearn — ISLearn (Learning ISLa input invariants)