ソルバーのページ

SATソルバー

• Competition
  • The International SAT Competition
• Solvers
  • kissat
  • CaDiCaL
• Input
  • DIMACS CNF 形式
• Benchmark
  • XXX

PBソルバー

• Competition
  • Pseudo-Boolean Competition 2025
• Solvers
  • NaPS and SCIP-NaPS: Source stable
• Input
• Benchmark
  • XXX

SMTソルバー

• Competition
  • SMT-COMP
• Benchmark
  • XXX

CSPソルバー

• Competition
  • XCSP Competitions
  • The MiniZinc Challenge
• Benchmark
  • XXX

ASPソルバー

• Competition
  • ASPCOMP
    • paper
• Solvers (de fact standard)
  • clingo
• Benchmark
  • XXX

#SATソルバー

• Competition
  • The Model Counting Competition
• Benchmark
  • XXX

ALLSATソルバー

MaxSATソルバー

• Competition
  • MaxSAT Evaluations
• Benchmark
  • XXX

QBFソルバー

• Competition
  • QBF Solver Evaluation
• Benchmark
  • XXX