icfpc-2025

This is the Codingteam's solution for the ICFPC Programming Contest 2025.

Includes a solution in Clojure (not used during contest), Fortran (used during contest), and Scala (not used during contest).

Also, a test server in Python.

See the documentation in the fortran/solver folder and documentation comments in sources for more information on the used solution.

Team Members

In alphabetical order:

• ForNeVeR — report
• foxtran - report
• gsomix
• portnov

Prerequisites

• Any JDK 21 distribution. If you don't know which one to use, use Temurin.
• SBT (any recent version should suffice, it will auto-download the correct one).
• (Optional) For Fortran solver, any Fortran compiler supporting Fortran 2008 features (or their set).

Configure

Only for Fortran (with OpenMP support):

$ cd fortran/solver
$ cmake -Bbuild -DENABLE_OPENMP=ON -DCMAKE_BUILD_TYPE=Release

Build

Scala:

$ sbt compile

or Fortran:

$ make -C build

Run

$ sbt -warn "run solve <solver-name> <problem-name>"

This will try to solve the problem with the given name using solver.

Available solvers:

• solver
• sat

(Add -warn to suppress informational output from SBT.)

Fortran solver:

$ ./build/solver <problem-name>

This will try to solve the problem with the given name using Fortran solver.

Test

$ sbt test