Rasqal is a quantum-classical solver runtime that takes heavy inspiration from static analysis tools and SAT solvers to power optimization, transformation and circuit splice/weaving. Its internal structures and concepts are also evolving towards a more high-level abstract representation of hybrid algorithms, so automated tools can process them better and potentially use such models to help uninitiatied developers get an intuitive understanding of quantum computing.

The details about its various ideas and components can be found in the papers folder, while a quick introduction of them and current capabilities can be found here.

If you have any features or ideas you'd like to see implemented feel free to raise a feature request!

Note: Rasqal is still early days and the potential instruction combinations of LLVM and QIR are immense, so we won't have been able to test all of them. If you have a file which dosen't work please raise an issue with it!

Getting Started

1. Install Rasqal in your favourite Python venv by running pip install rasqal. Our current testing is done with v3.10 of Python.
2. Read the quick start and look at our examples.
3. (Optional) Read the paper for a deep-dive into Rasqals concepts and data structures.

Contributing

If you'd like to contribute your first destination will be to build the system locally. There's also a getting started page that covers some of the most important bits you'd need to know about the project before jumping into writing code.

After that feel free to fork the project and put up PRs with any work you would like to add. All experimental work that isn't ready for prime time has to be disabled by default and have no impact on core execution time and stability.

Thanks for making Rasqal better than it was!

We also have a code of conduct that we expect everyone to adhere too.

Licence

This code in this repository is licensed under the BSD 3-Clause Licence. Please see LICENSE for more information.