Cross-language Bugfinder | Bring Your Own Language Solver-Aided Programming | WebAssembly Swissknife
-
Updated
Feb 5, 2025 - OCaml
Cross-language Bugfinder | Bring Your Own Language Solver-Aided Programming | WebAssembly Swissknife
Scripts for analyzing Invasion balancing by layer or level. Special thanks to @Midwaey for providing match logs, and @ChristianBrinkley for consulation
OWI's C frontend now in https://github.com/OCamlPro/owi/pull/100
Add a description, image, and links to the owi topic page so that developers can more easily learn about it.
To associate your repository with the owi topic, visit your repo's landing page and select "manage topics."