{"name":"sat-solvers","vers":"0.1.1","deps":[{"name":"log","req":"^0.4.27","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"serde","req":"^1.0","features":["derive"],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"tempfile","req":"^3.2.3","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"},{"name":"thiserror","req":"^2.0","features":[],"optional":false,"default_features":true,"target":null,"kind":"normal"}],"cksum":"f1cf2bec747d6e44e48d00aa3e297061da2d501b34ac58924c5bad3ffda5fdaf","features":{"cadical":[],"default":["cadical","minisat"],"glucose":[],"kissat":[],"lingeling":[],"minisat":[]},"yanked":false,"rust_version":"1.85","pubtime":"2026-01-26T15:02:24Z"}