にしなんとか @chebunanntoka

23年3月19日

【模様】No set in a row の繰り返しパターンの例示と未解決問題｜にしなんとか @chebunanntoka #note note.com/nishinanntoka/... pic.twitter.com/lyoiVvd64c

タグ： note

posted at 22:54:51

あさみくれよん @AsamiCrayon

23年3月19日

メバル🐟のムニエル、あら汁、かぶとじゃがいもの揚げ焼き pic.twitter.com/m67g1UrlIk

タグ：

posted at 18:39:26

ぽっつ @pots_orange

23年3月19日

#PUZZLE
パズル単行本で新刊の問題が過去の問題と重複ってあるけど、一部なのか全部なのかどっちだろう。あとどうやって発覚したのかとか、購入者への対応がどうなってるのかとか、一応業界のはしくれとしてはイロイロ気にはなる。 pic.twitter.com/gjmwe6xzMK

タグ： PUZZLE

posted at 17:50:09

めるーめるん @melvy_puz

23年3月19日

LMIわず

タグ：

posted at 15:55:12

非公開

タグ：

posted at xx:xx:xx

semiexp @semiexp

23年3月19日

CaDiCaL 改造してるようには見えないんだけど、どうやって SMT 動かしてるんだ？

タグ：

posted at 10:48:28

semiexp @semiexp

23年3月19日

github.com/cvc5/cvc5/wiki...
もしかしてこれがそうなのか？

タグ：

posted at 10:24:23

semiexp @semiexp

23年3月19日

github.com/Z3Prover/z3/bl...
これが z3 の SAT ソルバーっぽい

タグ：

posted at 10:09:48

semiexp @semiexp

23年3月19日

github.com/Z3Prover/z3/bl... これがインタフェースか？

タグ：

posted at 10:04:00

semiexp @semiexp

23年3月19日

求めているものが CDCL(T) ソルバーに他ならないことが判明し、それは SMT ソルバーが使うものだから絶対存在するはずなんだけど、なかなか見つからない(SMT ソルバーのコードが難しくて見つけられないというのもある

タグ：

posted at 10:01:55

アイ @tigereye_werewe

23年3月19日

TigereyeさんのPre-PGP 2023 R2 の成績は1000点:参考順位4位でした puzcon.jp/results/?id=20... #puzconjp #pPGP
久しぶりに参加者側をできた。Pentominousすげ〜！ってなった

タグ： pPGP puzconjp

posted at 05:46:57

めるるん @melvy_mag

23年3月19日

Wordle 638 5/6

🟨🟨⬜🟩⬜
⬜🟩⬜🟩🟨
⬜🟩🟩🟩⬜
⬜🟩🟩🟩🟩
🟩🟩🟩🟩🟩

タグ：

posted at 01:29:00