diff --git a/Cargo.lock b/Cargo.lock index cbb8b152..68d024eb 100644 --- a/Cargo.lock +++ b/Cargo.lock @@ -98,7 +98,7 @@ checksum = "0c4b4d0bd25bd0b74681c0ad21497610ce1b7c91b1022cd21c80c6fbdd9476b0" [[package]] name = "badger-optimiser" -version = "0.0.0-alpha.1" +version = "0.0.0" dependencies = [ "clap", "hugr", @@ -305,7 +305,7 @@ dependencies = [ [[package]] name = "compile-rewriter" -version = "0.0.0-alpha.1" +version = "0.0.0" dependencies = [ "clap", "hugr", @@ -1737,7 +1737,7 @@ dependencies = [ [[package]] name = "tket2" -version = "0.0.0-alpha.1" +version = "0.1.0-alpha.1" dependencies = [ "bytemuck", "cgmath", @@ -1778,7 +1778,7 @@ dependencies = [ [[package]] name = "tket2-py" -version = "0.0.0-alpha.1" +version = "0.0.0" dependencies = [ "derive_more", "hugr", diff --git a/Cargo.toml b/Cargo.toml index 6a36015c..fbe411c3 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -7,12 +7,11 @@ members = ["tket2", "tket2-py", "compile-rewriter", "badger-optimiser"] default-members = ["tket2"] [workspace.package] -version = "0.0.0-alpha.1" rust-version = "1.75" edition = "2021" homepage = "https://github.com/CQCL/tket2" -license-file = "LICENCE" -# authors +repository = "https://github.com/CQCL/tket2" +license = "Apache-2.0" [workspace.lints.rust] missing_docs = "warn" diff --git a/README.md b/README.md index 285630f0..3bb60239 100644 --- a/README.md +++ b/README.md @@ -1,73 +1,30 @@ # tket2: The Hardware Agnostic Quantum Compiler -[![build_status][]](https://github.com/CQCL-DEV/tket2/actions) -![msrv][] +[![build_status][]](https://github.com/CQCL/tket2/actions) [![codecov][]](https://codecov.io/gh/CQCL/tket2) - [build_status]: https://github.com/CQCL-DEV/hugr/workflows/Continuous%20integration/badge.svg?branch=main - [msrv]: https://img.shields.io/badge/rust-1.75.0%2B-blue.svg - [codecov]: https://img.shields.io/codecov/c/gh/CQCL/tket2?logo=codecov - TKET2 is an open source quantum compiler developed by Quantinuum. Central to TKET2's design is its hardware agnosticism which allows researchers and quantum software developers to take advantage of its state of the art compilation for many different quantum architectures. -Circuits are represented using the HUGR IR defined in the -[hugr] crate. TKET2 augments Hugr with -* The [`Circuit`] trait, providing a high-level interface for working with HUGRs representing quantum circuits -* a HUGR extension with quantum operations -* A composable pass system for optimising circuits -* A number of built-in rewrite utilities and passes for common optimisations - -This crate is interoperable with [`tket1`] circuits via its -serial encoding. - - [hugr]: https://lib.rs/crates/hugr - [`Circuit`]: https://docs.rs/tket2/latest/tket2/trait.Circuit.html - [`tket1`]: https://github.com/CQCL/tket - -# Using TKET2 - -Defining a circuit in TKET2 is currently done by using the low-level [hugr Builder] API, or by loading tket1 circuits from JSON files. - - [hugr Builder]: https://docs.rs/hugr/latest/hugr/builder/index.html - -```rust -use tket2::{Circuit, Hugr}; +`tket2` is available as a rust crate on [crates.io](https://crates.io/crates/tket2) and as +a python package on [PyPI](https://pypi.org/project/tket2/). -// Load a tket1 circuit. -let mut circ: Hugr = tket2::json::load_tk1_json_file("test_files/barenco_tof_5.json").unwrap(); - -assert_eq!(circ.qubit_count(), 9); -assert_eq!(circ.num_gates(), 170); - -// Traverse the circuit and print the gates. -for command in circ.commands() { - println!("{:?}", command.optype()); -} - -// Render the circuit as a mermaid diagram. -println!("{}", circ.mermaid_string()); - -// Optimise the circuit. -tket2::passes::apply_greedy_commutation(&mut circ); -``` - -## Features - -- `portmatching` - Enables pattern matching using the `portmatching` crate. - -- `rewrite-tracing` - Adds opt-in tracking of the rewrites applied to a circuit. +See the respective +[Rust](https://github.com/CQCL/tket2/blob/main/rust/README.md) and +[Python](https://github.com/CQCL/tket2/blob/main/python/README.md) READMEs for +more information. ## Developing TKET2 -See [DEVELOPMENT.md](DEVELOPMENT.md) for instructions on setting up the development environment. +See [DEVELOPMENT.md][] for instructions on setting up the development environment. ## License This project is licensed under Apache License, Version 2.0 ([LICENSE][] or http://www.apache.org/licenses/LICENSE-2.0). - [LICENSE]: LICENCE + [build_status]: https://github.com/CQCL/tket2/workflows/Continuous%20integration/badge.svg?branch=main + [codecov]: https://img.shields.io/codecov/c/gh/CQCL/tket2?logo=codecov + [LICENSE]: https://github.com/CQCL/tket2/blob/main/LICENCE + [DEVELOPMENT.md]: https://github.com/CQCL/tket2/blob/main/DEVELOPMENT.md diff --git a/badger-optimiser/Cargo.toml b/badger-optimiser/Cargo.toml index f6b883fa..3f64a035 100644 --- a/badger-optimiser/Cargo.toml +++ b/badger-optimiser/Cargo.toml @@ -1,10 +1,11 @@ [package] name = "badger-optimiser" +version = "0.0.0" edition = { workspace = true } -version = { workspace = true } rust-version = { workspace = true } homepage = { workspace = true } -license-file = { workspace = true } +license = { workspace = true } +publish = false # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html diff --git a/compile-rewriter/Cargo.toml b/compile-rewriter/Cargo.toml index 491ef215..1fe86945 100644 --- a/compile-rewriter/Cargo.toml +++ b/compile-rewriter/Cargo.toml @@ -1,10 +1,11 @@ [package] name = "compile-rewriter" +version = "0.0.0" edition = { workspace = true } -version = { workspace = true } rust-version = { workspace = true } homepage = { workspace = true } -license-file = { workspace = true } +license = { workspace = true } +publish = false [dependencies] clap = { workspace = true, features = ["derive"] } diff --git a/tket2-py/Cargo.toml b/tket2-py/Cargo.toml index 602cf599..ac2dff56 100644 --- a/tket2-py/Cargo.toml +++ b/tket2-py/Cargo.toml @@ -1,10 +1,11 @@ [package] name = "tket2-py" +version = "0.0.0" edition = { workspace = true } -version = { workspace = true } rust-version = { workspace = true } homepage = { workspace = true } -license-file = { workspace = true } +license = { workspace = true } +publish = false [lints] workspace = true diff --git a/tket2/CHANGELOG.md b/tket2/CHANGELOG.md new file mode 100644 index 00000000..481426c7 --- /dev/null +++ b/tket2/CHANGELOG.md @@ -0,0 +1,11 @@ +# Changelog +All notable changes to this project will be documented in this file. + +The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/), +and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.html). + +## [Unreleased] + +## [0.1.0-alpha.1](https://github.com/CQCL/tket2/releases/tag/tket2-v0.1.0-alpha.1) - 2024-05-24 + +Initial alpha release of the library diff --git a/tket2/Cargo.toml b/tket2/Cargo.toml index f2fa6928..0e81385a 100644 --- a/tket2/Cargo.toml +++ b/tket2/Cargo.toml @@ -1,10 +1,17 @@ [package] name = "tket2" +version = "0.1.0-alpha.1" edition = { workspace = true } -version = { workspace = true } rust-version = { workspace = true } + +license = { workspace = true } +readme = "README.md" +documentation = "https://docs.rs/tket2" homepage = { workspace = true } -license-file = { workspace = true } +repository = { workspace = true } +description = "Quantinuum's TKET2 Quantum Compiler" +keywords = ["Quantum", "Quantinuum"] +categories = ["compilers"] [lints] workspace = true diff --git a/tket2/README.md b/tket2/README.md new file mode 100644 index 00000000..fa644b32 --- /dev/null +++ b/tket2/README.md @@ -0,0 +1,81 @@ +# tket2: The Hardware Agnostic Quantum Compiler + +[![build_status][]](https://github.com/CQCL/tket2/actions) +![msrv][] +[![codecov][]](https://codecov.io/gh/CQCL/tket2) + +TKET2 is an open source quantum compiler developed by Quantinuum. Central to +TKET2's design is its hardware agnosticism which allows researchers and +quantum software developers to take advantage of its state of the art +compilation for many different quantum architectures. + +Circuits are represented using the HUGR IR defined in the +[hugr] crate. TKET2 augments Hugr with +* The [`Circuit`] trait, providing a high-level interface for working with HUGRs representing quantum circuits +* a HUGR extension with quantum operations +* A composable pass system for optimising circuits +* A number of built-in rewrite utilities and passes for common optimisations + +This crate is interoperable with [`tket1`] circuits via its +serial encoding. + +# Using TKET2 + +Defining a circuit in TKET2 is currently done by using the low-level [hugr Builder] API, or by loading tket1 circuits from JSON files. + +```rust +use tket2::{Circuit, Hugr}; + +// Load a tket1 circuit. +let mut circ: Hugr = tket2::json::load_tk1_json_file("test_files/barenco_tof_5.json").unwrap(); + +assert_eq!(circ.qubit_count(), 9); +assert_eq!(circ.num_gates(), 170); + +// Traverse the circuit and print the gates. +for command in circ.commands() { + println!("{:?}", command.optype()); +} + +// Render the circuit as a mermaid diagram. +println!("{}", circ.mermaid_string()); + +// Optimise the circuit. +tket2::passes::apply_greedy_commutation(&mut circ); +``` + +Please read the [API documentation here][]. + +## Features + +- `portmatching` + Enables pattern matching using the [`portmatching`][] crate. + +- `rewrite-tracing` + Adds opt-in tracking of the rewrites applied to a circuit. + +## Recent Changes + +See [CHANGELOG][] for a list of changes. The minimum supported rust +version will only change on major releases. + +## Developing TKET2 + +See [DEVELOPMENT.md][] for instructions on setting up the development environment. + +## License + +This project is licensed under Apache License, Version 2.0 ([LICENSE][] or http://www.apache.org/licenses/LICENSE-2.0). + + [build_status]: https://github.com/CQCL/tket2/workflows/Continuous%20integration/badge.svg?branch=main + [msrv]: https://img.shields.io/badge/rust-1.75.0%2B-blue.svg + [codecov]: https://img.shields.io/codecov/c/gh/CQCL/tket2?logo=codecov + [hugr]: https://lib.rs/crates/hugr + [hugr Builder]: https://docs.rs/hugr/latest/hugr/builder/index.html + [API documentation here]: https://docs.rs/tket2/ + [`Circuit`]: https://docs.rs/tket2/latest/tket2/trait.Circuit.html + [`tket1`]: https://github.com/CQCL/tket + [`portmatching`]: https://lib.rs/crates/portmatching + [LICENSE]: https://github.com/CQCL/tket2/blob/main/LICENCE + [CHANGELOG]: https://github.com/CQCL/tket2/blob/main/tket2/CHANGELOG.md + [DEVELOPMENT.md]: https://github.com/CQCL/tket2/blob/main/DEVELOPMENT.md