We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 4b2050f commit 5d59663Copy full SHA for 5d59663
src/main/scala/ru/org/codingteam/icfpc_2025/Main.scala
@@ -8,4 +8,4 @@ package ru.org.codingteam.icfpc_2025
8
case "solve" :: "sat" :: problemName :: Nil =>
9
val problem = ProblemDefinition.byName(problemName)
10
SatSolver.solve(problem)
11
- case _ => println("Usage: sbt run \"solve <problem-name>\"")
+ case _ => println("Usage: sbt run \"solve <solver-name> <problem-name>\"")
0 commit comments