{"name":"logicpearl-solver","vers":"0.1.4","deps":[{"name":"logicpearl-core","req":"^0.1.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tempfile","req":"^3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"a8ee3d027b5d17f253db76daa96cede1a33e26e360863e487db5785c423caea9","features":{},"yanked":false,"pubtime":"2026-04-12T01:31:19Z"}
{"name":"logicpearl-solver","vers":"0.1.5","deps":[{"name":"logicpearl-core","req":"^0.1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tempfile","req":"^3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"3439de08b3a94a28b46e9b3c8ba03adf080cce39ac53a7aa81da383a052f55b4","features":{},"yanked":false,"pubtime":"2026-04-14T02:38:35Z"}