theory_core
| Crates.io | theory_core |
| lib.rs | theory_core |
| version | 0.1.0 |
| created_at | 2025-10-06 19:08:07.668903+00 |
| updated_at | 2025-10-06 19:08:07.668903+00 |
| description | Neuro-symbolic reasoning core with SMT solver integration |
| homepage | https://github.com/ciresnave/eenn |
| repository | https://github.com/ciresnave/eenn |
| max_upload_size | |
| id | 1870663 |
| size | 310,590 |
CireSnave (ciresnave)
documentation
https://docs.rs/theory_core