{"name":"theory_core","vers":"0.1.0","deps":[{"name":"anyhow","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"indexmap","req":"^2.0","features":["serde"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"proptest","req":"^1.4","features":[],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde_json","req":"^1.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"smallvec","req":"^1.11","features":["serde"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1.0","features":["full"],"optional":true,"default_features":true,"target":null,"kind":"normal"},{"name":"tokio","req":"^1.47","features":["macros","rt"],"optional":false,"default_features":true,"target":null,"kind":"dev"},{"name":"z3","req":"^0.12","features":[],"optional":true,"default_features":true,"target":null,"kind":"normal"}],"cksum":"d2e544580b78a01b4f23f8df0bbdaf0e703483c6c23efb2c568f6c2b67886008","features":{"async":["tokio"],"default":["async"],"z3-solver":["z3"]},"yanked":false,"pubtime":"2025-10-06T19:08:07Z"}