This directory contains a Swift Package port/integration of the Festival 3.1 Sokoban solver.

• Original solver core: Festival 3.1 C/C++ source by Yaron Shoham
• Swift package port and integration: ported by Patrick Stein

This is not a clean-room rewrite of the solving algorithms. The original Festival core is embedded and wrapped with a Swift-facing API.

• Sources/CFestival/festival_3.1__src: original Festival solver source code
• Sources/CFestival/FestivalBridge.cpp: C bridge for invoking Festival
• Sources/SwiftFestivalSolver/SwiftFestivalSolver.swift: Swift API (SwiftFestivalSolverEngine)
• Sources/CFestival/compat: portability headers used for package builds

cd SwiftFestivalSolver
swift build -c release
swift test -c release

Add as a local dependency:

.package(url: "https://github.com/jollyjinx/SwiftFestivalSolver", from: "0.0.1")

Then depend on product SwiftFestivalSolver and call SwiftFestivalSolverEngine.solve(levelText:configuration:).

SwiftFestivalSolver is distributed under the MIT License.

See LICENSE for the full text and attribution to:

• Yaron Shoham (original Festival solver)
• Patrick Stein (Swift package port/integration work)