CSPSAT3

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

ニュース

2016年6月2日 第10回CSPSAT講演会の日程が2016年11月14日(月), 15日(火)に決定しました.URL
  Eclipseに採用されたSat4jの開発者である Daniel Le Berre 先生にご講演頂く予定です.
   
2016年4月7日 CSPSAT3のページを公開しました!
  過去の関連プロジェクトについては CSPSAT, CSPSAT2, Cloud を御覧ください.
  制約解集合プログラミングに関する CSPASP も現在進行中です!

バックナンバー