Software: Tools, Solvers
Software covering the topics of the course:
- State-space search: Fast Downward
- SAT and SMT solvers: MathSAT, Z3
- Predicate logic theorem provers: Vampire, OTTER
- POMDP solvers: APPL (SARSOP etc.), JuliaPOMDP, Gapmin&Symbolic Perseus
- General game-playing: Woodstock,
Last modified: Wednesday, 11 March 2020, 7:24 AM