icfpc2025

Team: Purely Functional Networks

Member: @asi1024, @ats5515, @contramundum53, @drafear, @saharan, @semiexp, @sky58

• semiexp/sat_solver_cspuz.py
  • CSP solver-based solver for the Lightning division
• semiexp/addendum_cspuz.py
  • CSP solver-based solver for the Full division
• ats5515/lightning/main.cpp
  • Simulated Annealing-based solution for quintus (30x1), he (30x2) and iod (30x3).