NikolajBjorner

Nikolaj Bjorner's repositories

The Z3 Theorem Prover

Language:C++NOASSERTION8 40

Schedule for ArtOfSAT

Shared material

Language:HTML3 20

Madoko is a fast markdown processor for high quality academic and technical articles

Language:HTMLNOASSERTION100

Repository for the submission of SMT-LIB benchmarks for the 2023 release.

Language:SMT010

Language:Jupyter Notebook010

Documentation

Language:HTMLMIT010

High-performance .NET regex engine with predictable performance

Language:C#010

Z3 tutorials from the rise4fun website

Language:JavaScript010

Run Z3 entirely in your browser using WebAssembly

Language:HTMLNOASSERTION010

Z3 webpage repository

Language:HTML010

Language:C++010