#

cvc5-wasm

Here is 1 public repository matching this topic...

soaibsafi / cvc5-vscode

A Visual Studio Code extension for editing and executing SMT-LIB 2 (.smt2) scripts using the cvc5 and WebAssembly (WASM) build.

wasm smt-solver smt-lib cvc5 cvc5-wasm

Updated Jul 10, 2026
TypeScript

Improve this page

Add a description, image, and links to the cvc5-wasm topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the cvc5-wasm topic, visit your repo's landing page and select "manage topics."