zfc

Library for sets according to ZFC.
git clone https://git.philomathiclife.com/repos/zfc
Log | Files | Refs | README

README.md (2020B)

      1 # `zfc`
      2 
      3 [<img alt="git" src="https://git.philomathiclife.com/badges/zfc.svg" height="20">](https://git.philomathiclife.com/zfc/log.html)
      4 [<img alt="crates.io" src="https://img.shields.io/crates/v/zfc.svg?style=for-the-badge&color=fc8d62&logo=rust" height="20">](https://crates.io/crates/zfc)
      5 [<img alt="docs.rs" src="https://img.shields.io/badge/docs.rs-zfc-66c2a5?style=for-the-badge&labelColor=555555&logo=docs.rs" height="20">](https://docs.rs/zfc/latest/zfc/)
      6 
      7 `zfc` is a library for sets according to
      8 [Zermelo–Fraenkel set theory with the axiom of choice (ZFC)](https://en.wikipedia.org/wiki/Zermelo%E2%80%93Fraenkel_set_theory).
      9 
     10 ## Minimum Supported Rust Version (MSRV)
     11 
     12 This will frequently be updated to be the same as stable. Specifically, any time stable is updated and that
     13 update has "useful" features or compilation no longer succeeds (e.g., due to new compiler lints), then MSRV
     14 will be updated.
     15 
     16 MSRV changes will correspond to a SemVer patch version bump pre-`1.0.0`; otherwise a minor version bump.
     17 
     18 ## SemVer Policy
     19 
     20 * All on-by-default features of this library are covered by SemVer
     21 * MSRV is considered exempt from SemVer as noted above
     22 
     23 ## License
     24 
     25 Licensed under either of
     26 
     27 * Apache License, Version 2.0 ([LICENSE-APACHE](https://www.apache.org/licenses/LICENSE-2.0))
     28 * MIT license ([LICENSE-MIT](https://opensource.org/licenses/MIT))
     29 
     30 at your option.
     31 
     32 ## Contribution
     33 
     34 Unless you explicitly state otherwise, any contribution intentionally submitted for inclusion in the work by you,
     35 as defined in the Apache-2.0 license, shall be dual licensed as above, without any additional terms or conditions.
     36 
     37 Before any PR is sent, `cargo clippy` and `cargo t` should be run for both `--no-default-features` and
     38 `--all-features`. Additionally `RUSTDOCFLAGS="--cfg docsrs" cargo +nightly doc --all-features` should be run to
     39 ensure documentation can be built.
     40 
     41 ### Status
     42 
     43 The crate is only tested on `x86_64-unknown-linux-gnu` and `x86_64-unknown-openbsd` targets, but it should work
     44 on most platforms.