{"name":"python314Packages.python-sat","summary":"Toolkit for SAT-based prototyping in Python (without optional dependencies)","description":"","homepage_url":"https://github.com/pysathq/pysat","license":"MIT","attribute_paths":["python314Packages.python-sat"],"releases":[{"version":"1.9.dev15","last_updated":"2026-09-13T01:58:51Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"python314Packages.python-sat","commit_hash":"02f5696b0e6097e589076d886b317b83ff0437d7","date":"2026-09-13T01:58:51Z","outputs":[{"name":"out","path":"/nix/store/h1wp07rsml8mbdk1gr7280a5hngv0rsc-python3.14-python-sat-1.9.dev15","default":true},{"name":"dist","path":"/nix/store/0fixgx5yz9f75dflm8diiqq5q3hsbkcl-python3.14-python-sat-1.9.dev15-dist"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python314Packages.python-sat","commit_hash":"02f5696b0e6097e589076d886b317b83ff0437d7","date":"2026-09-13T01:58:51Z","outputs":[{"name":"out","path":"/nix/store/n7sjk71k2syf837rb3dxkm0z99k05hv1-python3.14-python-sat-1.9.dev15","default":true},{"name":"dist","path":"/nix/store/z2r1ahp4863yfvjyizrvy0q9p3l8r3jk-python3.14-python-sat-1.9.dev15-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python314Packages.python-sat","commit_hash":"02f5696b0e6097e589076d886b317b83ff0437d7","date":"2026-09-13T01:58:51Z","outputs":[{"name":"out","path":"/nix/store/xpwcj8rwzyhi1ax38v4pyamz79xxclv8-python3.14-python-sat-1.9.dev15","default":true},{"name":"dist","path":"/nix/store/9wykv4xvhd8zk09c8d0m7wa7qix1p16l-python3.14-python-sat-1.9.dev15-dist"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS (Apple Silicon only)","outputs_summary":"out, dist","prerelease":false,"broken":false,"insecure":false},{"version":"1.9.dev7","last_updated":"2026-08-27T07:16:00Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"python314Packages.python-sat","commit_hash":"c27cdad491a991b11ed731760aa2ef8db0cb0410","date":"2026-08-27T07:16:00Z","outputs":[{"name":"out","path":"/nix/store/ff60cr0j9rpys25r4y1ja4mlbmiay2w4-python3.14-python-sat-1.9.dev7","default":true},{"name":"dist","path":"/nix/store/bqadjv92rblqvyhj06nk2sm13gxjvkmy-python3.14-python-sat-1.9.dev7-dist"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python314Packages.python-sat","commit_hash":"c27cdad491a991b11ed731760aa2ef8db0cb0410","date":"2026-08-27T07:16:00Z","outputs":[{"name":"out","path":"/nix/store/c5bq4f81yvagavjkqbrmmgz2x4hnrf4s-python3.14-python-sat-1.9.dev7","default":true},{"name":"dist","path":"/nix/store/rc8hxbby1k9djcla4j7p26nf35nv6crl-python3.14-python-sat-1.9.dev7-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python314Packages.python-sat","commit_hash":"c27cdad491a991b11ed731760aa2ef8db0cb0410","date":"2026-08-27T07:16:00Z","outputs":[{"name":"out","path":"/nix/store/aajzawvkf7wqza3hpjwlh06lmrl2w4kg-python3.14-python-sat-1.9.dev7","default":true},{"name":"dist","path":"/nix/store/7sqxph8ivjwfm5azkyrzk6ci604hqn4a-python3.14-python-sat-1.9.dev7-dist"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS (Apple Silicon only)","outputs_summary":"out, dist","prerelease":false,"broken":false,"insecure":false},{"version":"1.9.dev6","last_updated":"2026-07-29T04:59:45Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"python314Packages.python-sat","commit_hash":"9bc02893134c733dd85de46ee4fb2fac696b5529","date":"2026-07-29T04:59:45Z","outputs":[{"name":"out","path":"/nix/store/5n7wzs5rq7gnv50rxs8xj4fgdwh7s1vh-python3.14-python-sat-1.9.dev6","default":true},{"name":"dist","path":"/nix/store/dzhcpvdv88q2ygvznihfygfxvjhgs56i-python3.14-python-sat-1.9.dev6-dist"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python314Packages.python-sat","commit_hash":"9bc02893134c733dd85de46ee4fb2fac696b5529","date":"2026-07-29T04:59:45Z","outputs":[{"name":"out","path":"/nix/store/f7rm6y4cnzbaz4rj0zfhgy55si7v61l2-python3.14-python-sat-1.9.dev6","default":true},{"name":"dist","path":"/nix/store/qs62kpj7ig92iln3inlvykd0b8j7dbzz-python3.14-python-sat-1.9.dev6-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python314Packages.python-sat","commit_hash":"9bc02893134c733dd85de46ee4fb2fac696b5529","date":"2026-07-29T04:59:45Z","outputs":[{"name":"out","path":"/nix/store/c3c1smf81vnn4x128wg3pyn5kdyg3m0k-python3.14-python-sat-1.9.dev6","default":true},{"name":"dist","path":"/nix/store/zpjyla4ds41m15cjbh3kjbh9kxm3180y-python3.14-python-sat-1.9.dev6-dist"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS (Apple Silicon only)","outputs_summary":"out, dist","prerelease":false,"broken":false,"insecure":false},{"version":"1.9.dev5","last_updated":"2026-07-08T21:13:06Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"python314Packages.python-sat","commit_hash":"389ed85304b281ca7f306cf8a1eb4378651ca44e","date":"2026-07-08T21:13:06Z","outputs":[{"name":"out","path":"/nix/store/an3vcrwdivvav81wbbq5h80ijwbn3gcv-python3.14-python-sat-1.9.dev5","default":true},{"name":"dist","path":"/nix/store/450sr0s48dm05vqwfj5cv8y0bsj57d89-python3.14-python-sat-1.9.dev5-dist"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python314Packages.python-sat","commit_hash":"389ed85304b281ca7f306cf8a1eb4378651ca44e","date":"2026-07-08T21:13:06Z","outputs":[{"name":"out","path":"/nix/store/pvflc9q342ng31dwzx67xdp5iw64ar73-python3.14-python-sat-1.9.dev5","default":true},{"name":"dist","path":"/nix/store/jvwjjm7gdbzzkn4sq96syk9rh9l5zpm8-python3.14-python-sat-1.9.dev5-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python314Packages.python-sat","commit_hash":"3d46470bb3030020f7e1361f33514854f5bfa86d","date":"2026-06-27T07:37:20Z","outputs":[{"name":"out","path":"/nix/store/h3fwi5zg75gm49hsny1k02skkh8hbzrr-python3.14-python-sat-1.9.dev5","default":true},{"name":"dist","path":"/nix/store/3b5w10i49xyn9yn2xmh1k6cxxrxzs258-python3.14-python-sat-1.9.dev5-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python314Packages.python-sat","commit_hash":"389ed85304b281ca7f306cf8a1eb4378651ca44e","date":"2026-07-08T21:13:06Z","outputs":[{"name":"out","path":"/nix/store/fni7ycdzfa1i5576lwb21rj5rxvxybhc-python3.14-python-sat-1.9.dev5","default":true},{"name":"dist","path":"/nix/store/hhzx22mynxa7mwmdqs6rksdz47xigyps-python3.14-python-sat-1.9.dev5-dist"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, dist","prerelease":false,"broken":false,"insecure":false},{"version":"1.9.dev2","last_updated":"2026-05-21T08:15:18Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"python314Packages.python-sat","commit_hash":"4a29d733e8a7d5b824c3d8c958a946a9867b3eb2","date":"2026-05-21T08:15:18Z","outputs":[{"name":"out","path":"/nix/store/qc9r9nyc9mygis9j7889mx8831w51mi5-python3.14-python-sat-1.9.dev2","default":true},{"name":"dist","path":"/nix/store/ksrvda8vj2sa84q0crnk856z8j3alvxx-python3.14-python-sat-1.9.dev2-dist"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python314Packages.python-sat","commit_hash":"4a29d733e8a7d5b824c3d8c958a946a9867b3eb2","date":"2026-05-21T08:15:18Z","outputs":[{"name":"out","path":"/nix/store/pszlyd71ymznapxhbx4pysrkkjv9rk5f-python3.14-python-sat-1.9.dev2","default":true},{"name":"dist","path":"/nix/store/qr012imwm21g6ph92wq74c37vqykyp1c-python3.14-python-sat-1.9.dev2-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python314Packages.python-sat","commit_hash":"4a29d733e8a7d5b824c3d8c958a946a9867b3eb2","date":"2026-05-21T08:15:18Z","outputs":[{"name":"out","path":"/nix/store/c5szcpjmrf0lanpfj7q82yl0prynkzqd-python3.14-python-sat-1.9.dev2","default":true},{"name":"dist","path":"/nix/store/m3labfig6rlmk1m9g1l0ly2gv4ps84k8-python3.14-python-sat-1.9.dev2-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python314Packages.python-sat","commit_hash":"4a29d733e8a7d5b824c3d8c958a946a9867b3eb2","date":"2026-05-21T08:15:18Z","outputs":[{"name":"out","path":"/nix/store/c0j83hlckf4q09gr963w638jw2fry038-python3.14-python-sat-1.9.dev2","default":true},{"name":"dist","path":"/nix/store/jw9f1y7n3dvl3dcw6p5yw2w78mzh72q1-python3.14-python-sat-1.9.dev2-dist"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, dist","prerelease":false,"broken":false,"insecure":false},{"version":"1.8.dev30","last_updated":"2026-03-21T07:29:51Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"python314Packages.python-sat","commit_hash":"09061f748ee21f68a089cd5d91ec1859cd93d0be","date":"2026-03-21T07:29:51Z","outputs":[{"name":"out","path":"/nix/store/z67xwjldff49v46sha86dzkqwvlhnrd3-python3.14-python-sat-1.8.dev30","default":true},{"name":"dist","path":"/nix/store/27443rl05vfgx040125r2f159y7igk80-python3.14-python-sat-1.8.dev30-dist"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python314Packages.python-sat","commit_hash":"09061f748ee21f68a089cd5d91ec1859cd93d0be","date":"2026-03-21T07:29:51Z","outputs":[{"name":"out","path":"/nix/store/7nl5kgy0p9jx1iq89sc8z55v3yy3h1lj-python3.14-python-sat-1.8.dev30","default":true},{"name":"dist","path":"/nix/store/0j9n95zbcrg4ss1h40lgy4xb4wbyc749-python3.14-python-sat-1.8.dev30-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python314Packages.python-sat","commit_hash":"09061f748ee21f68a089cd5d91ec1859cd93d0be","date":"2026-03-21T07:29:51Z","outputs":[{"name":"out","path":"/nix/store/hh89nlkifnid9jxvqpakqzhszxswcrsi-python3.14-python-sat-1.8.dev30","default":true},{"name":"dist","path":"/nix/store/mpphgg6kdjn326c18wwlkaw437hqk0yl-python3.14-python-sat-1.8.dev30-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python314Packages.python-sat","commit_hash":"09061f748ee21f68a089cd5d91ec1859cd93d0be","date":"2026-03-21T07:29:51Z","outputs":[{"name":"out","path":"/nix/store/vf8avf1i616jaygynqv71kffl7n6xqbf-python3.14-python-sat-1.8.dev30","default":true},{"name":"dist","path":"/nix/store/3v9ls3g2ayb7lhbba2yfxsdv2c85wwm4-python3.14-python-sat-1.8.dev30-dist"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, dist","prerelease":false,"broken":false,"insecure":false},{"version":"1.8.dev28","last_updated":"2026-02-02T23:09:17Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"python314Packages.python-sat","commit_hash":"47472570b1e607482890801aeaf29bfb749884f6","date":"2026-02-02T23:09:17Z","outputs":[{"name":"out","path":"/nix/store/avygs8nyyv5a79yr1q4yipzwmsj0ihyv-python3.14-python-sat-1.8.dev28","default":true},{"name":"dist","path":"/nix/store/9pvlkl41dzfzcvsip44yl6ywj1vqckb4-python3.14-python-sat-1.8.dev28-dist"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python314Packages.python-sat","commit_hash":"47472570b1e607482890801aeaf29bfb749884f6","date":"2026-02-02T23:09:17Z","outputs":[{"name":"out","path":"/nix/store/zdxccz2jbp8mswclqncgizrinxh94w2g-python3.14-python-sat-1.8.dev28","default":true},{"name":"dist","path":"/nix/store/szxgjvp4ank5hbz276s7y37hn8l0034g-python3.14-python-sat-1.8.dev28-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python314Packages.python-sat","commit_hash":"47472570b1e607482890801aeaf29bfb749884f6","date":"2026-02-02T23:09:17Z","outputs":[{"name":"out","path":"/nix/store/5rlkwldh6v618ip6q13r97sl0g7s3jj6-python3.14-python-sat-1.8.dev28","default":true},{"name":"dist","path":"/nix/store/10p1wg96gc7n2b78jz385fwjmxdazj8f-python3.14-python-sat-1.8.dev28-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python314Packages.python-sat","commit_hash":"47472570b1e607482890801aeaf29bfb749884f6","date":"2026-02-02T23:09:17Z","outputs":[{"name":"out","path":"/nix/store/ib27cavxlc677f9zjs9fddvb9vvniyvp-python3.14-python-sat-1.8.dev28","default":true},{"name":"dist","path":"/nix/store/mrprbd0mxvr604wmjlznv4gc2cl62kd6-python3.14-python-sat-1.8.dev28-dist"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, dist","prerelease":false,"broken":false,"insecure":false},{"version":"1.8.dev26","last_updated":"2026-01-23T17:20:52Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"python314Packages.python-sat","commit_hash":"a1bab9e494f5f4939442a57a58d0449a109593fe","date":"2026-01-23T17:20:52Z","outputs":[{"name":"out","path":"/nix/store/3d2wkvqgmxfr0kxi5mbl76s4jhljqv89-python3.14-python-sat-1.8.dev26","default":true},{"name":"dist","path":"/nix/store/0r909r6qg0pkd19xn91k125gf1g4hpq6-python3.14-python-sat-1.8.dev26-dist"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python314Packages.python-sat","commit_hash":"a1bab9e494f5f4939442a57a58d0449a109593fe","date":"2026-01-23T17:20:52Z","outputs":[{"name":"out","path":"/nix/store/px78wj2rnmhrrvmxnxf7c7b3lvyzkfwn-python3.14-python-sat-1.8.dev26","default":true},{"name":"dist","path":"/nix/store/h2cxr2hp5qw41q1i7z2rvv91mcmjb2j9-python3.14-python-sat-1.8.dev26-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python314Packages.python-sat","commit_hash":"a1bab9e494f5f4939442a57a58d0449a109593fe","date":"2026-01-23T17:20:52Z","outputs":[{"name":"out","path":"/nix/store/7j6rgg9kbq2qydgaq48n703yg90094cy-python3.14-python-sat-1.8.dev26","default":true},{"name":"dist","path":"/nix/store/w8i1w5161j3dl069kzq7y2d5azx1vkdk-python3.14-python-sat-1.8.dev26-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python314Packages.python-sat","commit_hash":"a1bab9e494f5f4939442a57a58d0449a109593fe","date":"2026-01-23T17:20:52Z","outputs":[{"name":"out","path":"/nix/store/n232793sk0hgarpniahw5zypmkg17f4z-python3.14-python-sat-1.8.dev26","default":true},{"name":"dist","path":"/nix/store/727a33r2mdfxb29820i2jm78n1pjiba4-python3.14-python-sat-1.8.dev26-dist"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, dist","prerelease":false,"broken":false,"insecure":false},{"version":"1.8.dev25","last_updated":"2025-12-31T03:27:36Z","platforms":[{"arch":"arm64","os":"macOS","system":"aarch64-darwin","attribute_path":"python314Packages.python-sat","commit_hash":"f665af0cdb70ed27e1bd8f9fdfecaf451260fc55","date":"2025-12-31T03:27:36Z","outputs":[{"name":"out","path":"/nix/store/qdz3ifcz1f54n21n5a6g6bxijlh58jxi-python3.14-python-sat-1.8.dev25","default":true},{"name":"dist","path":"/nix/store/y4xd1nv1xw8a9fbc4x8mgcjbka4s7543-python3.14-python-sat-1.8.dev25-dist"}],"broken":false,"insecure":false},{"arch":"arm64","os":"Linux","system":"aarch64-linux","attribute_path":"python314Packages.python-sat","commit_hash":"f665af0cdb70ed27e1bd8f9fdfecaf451260fc55","date":"2025-12-31T03:27:36Z","outputs":[{"name":"out","path":"/nix/store/cp0581qpcagx89zhhl2zyh9if1fkj1l2-python3.14-python-sat-1.8.dev25","default":true},{"name":"dist","path":"/nix/store/4cis43hxkzcly0f22czq1lpw27m111p0-python3.14-python-sat-1.8.dev25-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"macOS","system":"x86_64-darwin","attribute_path":"python314Packages.python-sat","commit_hash":"f665af0cdb70ed27e1bd8f9fdfecaf451260fc55","date":"2025-12-31T03:27:36Z","outputs":[{"name":"out","path":"/nix/store/bhs4bljkabhfyhg77iia14i1y6g7bx70-python3.14-python-sat-1.8.dev25","default":true},{"name":"dist","path":"/nix/store/9xl45bhdiasa5bf5va293zw0x0ah43zq-python3.14-python-sat-1.8.dev25-dist"}],"broken":false,"insecure":false},{"arch":"x86-64","os":"Linux","system":"x86_64-linux","attribute_path":"python314Packages.python-sat","commit_hash":"f665af0cdb70ed27e1bd8f9fdfecaf451260fc55","date":"2025-12-31T03:27:36Z","outputs":[{"name":"out","path":"/nix/store/6x3vjyfp0m7b3hvc1nnq1w7aig7mlqip-python3.14-python-sat-1.8.dev25","default":true},{"name":"dist","path":"/nix/store/ha16znjw1fnhd8aan6ir6shxn2n6rwz0-python3.14-python-sat-1.8.dev25-dist"}],"broken":false,"insecure":false}],"platforms_summary":"Linux and macOS","outputs_summary":"out, dist","prerelease":false,"broken":false,"insecure":false}]}