Note

This is a community-maintained fork of a MIT-licensed student project in the Effective Programming with Effects course in winter semester 2025/2026. Be warned that this is not an officially endorsed project, the code in this repository may be not idiomatic Effekt.

The original repository is https://github.com/JoshuaSchlucke/AnsatzLite

AnsatzLite

AnsatzLite is a small internal DSL and runtime for the Quantum alternating operator ansatz, written in Effekt. It showcases algebraic effects by separating pure problem definitions from effectful backends.

Quick start

Using Nix (recommended):

nix build
./result/bin/ansatz --help

Without Nix (dev):

effekt src/main.effekt -- --help

For frequent use, add the binary to your PATH

Usage

Show all flags:

ansatz --help

Run a small MaxCut instance:

ansatz --problem maxcut --graph tiny --p 1 --gammas 0.2 --betas 0.4

Run SAT with a generated k-SAT formula:

ansatz --problem sat --formula k3-10-6 --p 1 --gammas 0.2 --betas 0.4

Enable optimization:

ansatz --opt grid --opt-steps 5 --opt-verbose --p 1 --problem maxcut --graph tiny

Testing

Run all tests:

effekt tests/*

Documentation

• User guide: docs/USER_GUIDE.md
• Developer guide: docs/DEVELOPER_GUIDE.md