Giters

CR3Swapper / Gamba.NET

Port of mixed boolean arithmetic simplifier (GAMBA) to C#

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

This repository is not active

About

Port of mixed boolean arithmetic simplifier (GAMBA) to C#

Languages

Language:Smalltalk 44.4%Language:C# 31.1%Language:Python 21.8%Language:Rust 2.6%Language:ANTLR 0.1%