[わんくま同盟 名古屋勉強会#37|http://www.wankuma.com/seminar/20151114nagoya37/]の、H.Hiroの発表「ソルバーで組み合わせ問題を解いて遊ぶ」における、サンプルプログラム等の置き場所です。 ※{{tag }}このページのURLは予告なく変更する場合があります。ブックマークされる方は短縮URL http://hhiro.net/wkn37 のほうをブックマークされるようお願いします。{{tag }} !!! 発表資料 http://www.slideshare.net/maraigue/37-55099901 !!! サンプルプログラム * Excelのソルバーを利用するサンプル [excel-solver-sample.xlsx|http://chiraura.hhiro.net/?page=2015%2E11%2E14+%A4%EF%A4%F3%A4%AF%A4%DE%C6%B1%CC%C1+%CC%BE%B8%C5%B2%B0%CA%D9%B6%AF%B2%F1%2337+H%2EHiro%C8%AF%C9%BD%A4%D6%A4%F3%A4%CE%A5%B5%A5%F3%A5%D7%A5%EB%A5%D7%A5%ED%A5%B0%A5%E9%A5%E0&file=excel%2Dsolver%2Dsample%2Exlsx&action=ATTACH] * [minisat|http://minisat.se/]で数独を解くサンプル [minisat-sudoku.zip|http://chiraura.hhiro.net/?page=2015%2E11%2E14+%A4%EF%A4%F3%A4%AF%A4%DE%C6%B1%CC%C1+%CC%BE%B8%C5%B2%B0%CA%D9%B6%AF%B2%F1%2337+H%2EHiro%C8%AF%C9%BD%A4%D6%A4%F3%A4%CE%A5%B5%A5%F3%A5%D7%A5%EB%A5%D7%A5%ED%A5%B0%A5%E9%A5%E0&file=minisat%2Dsudoku%2Ezip&action=ATTACH](要minisat, Ruby) !!! 関連資料 * [Boost.GraphでJR全線乗り尽くしプランを立てる|http://www.slideshare.net/maraigue/chinese-postman] (2014.7.12 プログラミング生放送+CLR/H+Sapporo.cpp 勉強会@札幌 発表資料) !!! 追加記事 !!「ExcelのソルバーをSATソルバーとして使える?」 記事:[ExcelのソルバーをSATソルバーとして使える? - Qiita|http://qiita.com/h_hiro_/items/b22e9f2531d524b4a4f0] * Excel用サンプルファイル(Excel2007で作成) [SAT-with-LPsolver.xlsx|http://chiraura.hhiro.net/?page=2015%2E11%2E14+%A4%EF%A4%F3%A4%AF%A4%DE%C6%B1%CC%C1+%CC%BE%B8%C5%B2%B0%CA%D9%B6%AF%B2%F1%2337+H%2EHiro%C8%AF%C9%BD%A4%D6%A4%F3%A4%CE%A5%B5%A5%F3%A5%D7%A5%EB%A5%D7%A5%ED%A5%B0%A5%E9%A5%E0&file=SAT%2Dwith%2DLPsolver%2Exlsx&action=ATTACH] * LibreOffice用サンプルファイル [SAT-with-LPsolver.ods|http://chiraura.hhiro.net/?page=2015%2E11%2E14+%A4%EF%A4%F3%A4%AF%A4%DE%C6%B1%CC%C1+%CC%BE%B8%C5%B2%B0%CA%D9%B6%AF%B2%F1%2337+H%2EHiro%C8%AF%C9%BD%A4%D6%A4%F3%A4%CE%A5%B5%A5%F3%A5%D7%A5%EB%A5%D7%A5%ED%A5%B0%A5%E9%A5%E0&file=SAT%2Dwith%2DLPsolver%2Eods&action=ATTACH]