{"name":"logicpearl-observer-synthesis","vers":"0.1.0","deps":[{"name":"logicpearl-benchmark","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicpearl-core","req":"^0.1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicpearl-observer","req":"^0.1.0","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":"serde_json","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tempfile","req":"^3","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"3c50c58dae666c91ec5a5d78f07c557ae130587e0f06b0c93f95450f29b27d15","features":{},"yanked":false,"pubtime":"2026-04-06T15:02:34Z"}
{"name":"logicpearl-observer-synthesis","vers":"0.1.1","deps":[{"name":"logicpearl-benchmark","req":"^0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicpearl-core","req":"^0.1.1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicpearl-observer","req":"^0.1.1","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":"serde_json","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tempfile","req":"^3","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"494cea12ba29b111b73bc57a421ba8172590d14d2eac818b484fd0154e116d58","features":{},"yanked":false,"pubtime":"2026-04-06T15:44:54Z"}
{"name":"logicpearl-observer-synthesis","vers":"0.1.2","deps":[{"name":"logicpearl-benchmark","req":"^0.1.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicpearl-core","req":"^0.1.2","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicpearl-observer","req":"^0.1.2","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":"serde_json","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tempfile","req":"^3","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"e476a9e95ca349a6779151b1f73e9f16a68e6e0b768e7231544ab7e0def17861","features":{},"yanked":false,"pubtime":"2026-04-08T19:30:41Z"}
{"name":"logicpearl-observer-synthesis","vers":"0.1.4","deps":[{"name":"good_lp","req":"^1.15.1","features":["microlp"],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"logicpearl-benchmark","req":"^0.1.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicpearl-core","req":"^0.1.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicpearl-observer","req":"^0.1.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicpearl-solver","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":"serde_json","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tempfile","req":"^3","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"160b0230ec42d2da11b26d1dabe9b0864ad414e377fab46f56263ba401782bae","features":{},"yanked":false,"pubtime":"2026-04-12T01:31:56Z"}
{"name":"logicpearl-observer-synthesis","vers":"0.1.5","deps":[{"name":"good_lp","req":"^1.15.1","features":["microlp"],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"logicpearl-benchmark","req":"^0.1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicpearl-core","req":"^0.1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicpearl-observer","req":"^0.1.5","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"logicpearl-solver","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":"serde_json","req":"^1","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tempfile","req":"^3","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"}],"cksum":"2f1b26566ce4d301766a0ae353d9110f9c6481864509a3372bf44b804d0fbf9d","features":{},"yanked":false,"pubtime":"2026-04-14T02:38:54Z"}