CSPSAT Project

Project HP

• CSPSAT3 (2016--2018)
• CSPSAT2 (2012--2014)
• CSPSAT1 (2008--2011)

Softwares

• Sugar
  • Git repository of Sugar
  • Solving puzzles with Sugar
• SugarTracer
• iSAT Libray
• Copris
  • Git repository of Copris
  • Solving puzzles with Copris
• PBSugar
• CSP2SAT
• Cream
• LLP
  • lolliCoP
• llprover
  • llprover on GitPod
• seqprover
  • seqprover on GitPod

• GlueMiniSat
• ManyGlucose
• Azucar
• sCOP
• Scarab
• NaPS
• AllSAT
• Prolog Cafe
• TLLP

Documents

• 特集「最近のSAT技術の発展」

Conferences, Events

• FLOPS 2012