CSPSAT3

English | Japanese CSPSAT
(until FY2011)
CSPSAT2
(until FY2014)
Cloud
(until FY2015)
CSPASP
(since FY2015)

News

2016.6.2 10th CSPSAT Seminar will be held on November 14 and 15! URL
  Prof. Danile Le Berre (the developer of Sat4j running on Eclipse) will give an invited talk!
2016.4.7 The web page of CSPSAT3 has launched!
  If you are interested, please look our past related projects: CSPSAT, CSPSAT2, Cloud
  Our other active project about Constraint Answer Set Programming, CSPASP is also ongoing.

Backnumber