Experimental browser for the Atmosphere
Ahhhh ok crap. Yeah ok so that's a dealbreaker for a real language. Is there no way to get Z3 to spit out a reason why not all constraints couldn't be met?
May 8, 2025, 11:13 PM
{ "uri": "at://did:plc:rmplvmo2uq2mlth23rqhgcvx/app.bsky.feed.post/3loozz7ctss2e", "cid": "bafyreidakvibwyc4idtlijtxq4y7tujpwemeu4ingqzyeufp3y4zvbsa6q", "value": { "text": "Ahhhh ok crap. Yeah ok so that's a dealbreaker for a real language. Is there no way to get Z3 to spit out a reason why not all constraints couldn't be met?", "$type": "app.bsky.feed.post", "langs": [ "en" ], "reply": { "root": { "cid": "bafyreiaepfywkwygsmgyonxzlie362k76mto5atjetyvnmlqvvfqiqgmhi", "uri": "at://did:plc:rmplvmo2uq2mlth23rqhgcvx/app.bsky.feed.post/3loouhhqkl22v" }, "parent": { "cid": "bafyreidvwpfhbuckk3w5axtiykfqa2n67izadtrjffi6xp33nl365ft2ru", "uri": "at://did:plc:7lccytfulfh4w62lr7orrmev/app.bsky.feed.post/3loozuzy5n22t" } }, "createdAt": "2025-05-08T23:13:11.391Z" } }