{"name":"rustsat-batsat","vers":"0.1.0","deps":[{"name":"anyhow","req":"^1.0.86","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"batsat","req":"^0.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"cpu-time","req":"^1.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rustsat","req":"^0.6.0","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"thiserror","req":"^1.0.63","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"d6f6b57e93ccc46367f819a7ce74ee9ec40b2d05ae0ee8c2c590f24f4ea65c48","features":{},"yanked":false,"pubtime":"2024-10-16T13:31:17Z"}
{"name":"rustsat-batsat","vers":"0.1.1","deps":[{"name":"anyhow","req":"^1.0.94","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"batsat","req":"^0.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"cpu-time","req":"^1.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rustsat","req":"^0.6.2","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0.6","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"ab42e36e8f6f8ea44a99e4f2f35fa15395745ab5a4cea1bda739cb8227786a76","features":{},"yanked":false,"pubtime":"2024-12-13T09:25:22Z"}
{"name":"rustsat-batsat","vers":"0.1.2","deps":[{"name":"anyhow","req":"^1.0.94","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"batsat","req":"^0.5.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"cpu-time","req":"^1.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rustsat","req":"^0.6.3","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0.8","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"195d8402b37decba53349c2feeed99e2f193cab65d8196d60b9d205c0f9a4439","features":{},"yanked":false,"pubtime":"2024-12-20T14:41:08Z"}
{"name":"rustsat-batsat","vers":"0.1.3","deps":[{"name":"anyhow","req":"^1.0.95","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"batsat","req":"^0.6.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"cpu-time","req":"^1.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rustsat","req":"^0.6.4","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0.11","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"134f25b4b25936dd89a4f438dc304d8e451566aaac49239ba4c2ef105b056d0f","features":{},"yanked":false,"pubtime":"2025-02-19T08:53:49Z"}
{"name":"rustsat-batsat","vers":"0.1.4","deps":[{"name":"anyhow","req":"^1.0.97","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"batsat","req":"^0.6.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"cpu-time","req":"^1.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rustsat","req":"^0.6.5","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0.12","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"0df746e580aae643a18d66853eb6d79f97d39e7fa603cccc311d003b8383de32","features":{},"yanked":false,"pubtime":"2025-03-25T13:41:49Z"}
{"name":"rustsat-batsat","vers":"0.1.5","deps":[{"name":"anyhow","req":"^1.0.97","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"batsat","req":"^0.6.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"cpu-time","req":"^1.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rustsat","req":"^0.6.6","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0.12","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"5eea4df490f45fd3bd0bcb8e9ab17ba9754ee33aa311dc82cc3c7637c79e8b55","features":{},"yanked":false,"pubtime":"2025-03-27T13:49:49Z"}
{"name":"rustsat-batsat","vers":"0.7.0","deps":[{"name":"anyhow","req":"^1.0.97","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"batsat","req":"^0.6.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"cpu-time","req":"^1.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rustsat","req":"^0.7.0","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0.12","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"7e2f7ddd8f3b66ecc1a2549796fba232b889ea7e5b4b069cf637b7a1b5679b32","features":{},"yanked":false,"rust_version":"1.75.0","pubtime":"2025-04-03T14:44:09Z"}
{"name":"rustsat-batsat","vers":"0.7.1","deps":[{"name":"anyhow","req":"^1.0.98","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"batsat","req":"^0.6.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"cpu-time","req":"^1.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rustsat","req":"^0.7.1","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0.12","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"9ecd1587460864cd4c44d4f45978398b0e5e9dcfa63613b2be2d57e59c0f3aef","features":{},"yanked":false,"rust_version":"1.76.0","pubtime":"2025-05-01T15:29:51Z"}
{"name":"rustsat-batsat","vers":"0.7.2","deps":[{"name":"anyhow","req":"^1.0.98","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"batsat","req":"^0.6.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"cpu-time","req":"^1.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rustsat","req":"^0.7.2","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0.12","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"e2a2e20c929a541195e6804ff6a51dc79ce060e50200e2d8e614239d0cc1aca4","features":{},"yanked":false,"rust_version":"1.76.0","pubtime":"2025-05-30T13:53:19Z"}
{"name":"rustsat-batsat","vers":"0.7.3","deps":[{"name":"anyhow","req":"^1.0.98","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"batsat","req":"^0.6.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"cpu-time","req":"^1.0.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rustsat","req":"^0.7.3","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0.12","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"3deca89df00630c7df59dec11d706b97bfb83680a5b304555c5291c91dd837e9","features":{},"yanked":false,"rust_version":"1.76.0","pubtime":"2025-08-07T13:39:30Z"}
{"name":"rustsat-batsat","vers":"0.7.4","deps":[{"name":"anyhow","req":"^1.0.100","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"batsat","req":"^0.6.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rustsat","req":"^0.7.4","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0.17","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"7140e0e3f6d1ccc4c61e8175cca7d6ffcdf0d9ccacc3d791fc0b14b5629fea2d","features":{"_test":[]},"yanked":false,"rust_version":"1.76.0","pubtime":"2025-10-18T12:59:02Z"}
{"name":"rustsat-batsat","vers":"0.7.5","deps":[{"name":"anyhow","req":"^1.0.100","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"batsat","req":"^0.6.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"rustsat","req":"^0.7.5","features":[],"optional":false,"default_features":false,"target":null,"kind":"normal"}],"cksum":"1f9a094a442060c4befd972d697eb7af0c6dc1520168bdeb928cbb37c31398da","features":{"_test":[]},"yanked":false,"rust_version":"1.76.0","pubtime":"2026-01-30T09:46:50Z"}