haskell-ja > Archives

2016/01/27 03:14:49 UTC[1..100]>>=pen

近づいたので再掲。1月27日（水）Skype 「Haskell勉強会」 http://skypeseminars.rgr.jp/

2016/01/27 03:20:55 UTC[1..100]>>=pen

もう少し先だけど忘れないように再掲。2月3日（水）大阪「Haskellによる並列・並行プログラミング読書会 #10」 #umekitahs http://umekitahs.connpass.com/event/25442/

2016/01/27 03:23:15 UTCsakai

自作ソルバ集のtoysolverの0.4.0をリリースしました。
これはSAT, Max-SAT, PBS/PBO, MILP, 非線形算術などのソルバで、今回のリリースの目玉はSMTソルバtoysmtの追加です。
(今のところ非解釈関数と実数線形算術の理論にしか対応していないし、性能も良くはないですが)
Windows, Linux, Mac用のバイナリも一応用意してあります。
よかったら遊んでみてください。

http://hackage.haskell.org/package/toysolver
https://github.com/msakai/toysolver/releases/tag/v0.4.0

<< 2016/01/26

Back to the chat room

2016/01/28 >>

haskell-ja > Archives > 2016/01/27