meancop-0.2.0
- meancop 0.2.0
- Permalink
- Docs.rs crate page
- GPL-3.0-only
- Links
- Repository
- crates.io
- Source
- Owners
- 01mf02
- Dependencies
- clap ^4.0 normal
  colosseum ^0.2.2 normal
  cop ^0.2 normal
  env_logger ^0.10.0 normal
  log ^0.4.17 normal
  serde_json ^1.0.81 normal
- Versions
- 15.79% of the crate is documented
Platform
Feature flags

Rust

In meancop::preprocess

Function meancop::preprocess::add_eq_axioms

pub fn add_eq_axioms(fm: SFof) -> Result<SFof, NoSuccessKind>