Natural-language corpus cleaning scripts
-
Updated
May 15, 2016 - Python
Natural-language corpus cleaning scripts
A pure ✨ F# implementation of Merkle Trees
Optimization for Very Large Scale Integration using Constraint Programming, SAT and SMT.
A VIM plugin that adds support for the BTOR2 word-level model checking format
Pinyin IME using Statistical Machine Translation
Трансформации для Kafka Connect | Kafka Connect SMTs
Projects which are rather math related
A Kafka Connect Single Message Transform (SMT) that enables you to append the record key to the value as a named field
use the smt solver to find the sbox implementation
Uninterpreted functions examples
VLSI Optimization tackles the 2-D Strip Packing Problem for Very Large Scale Integration, minimizing plate height while placing rectangular circuits without overlap. It offers versatile solutions using Constraint Programming, SAT, SMT, and ILP, with options for rotation and visualization
Add a description, image, and links to the smt topic page so that developers can more easily learn about it.
To associate your repository with the smt topic, visit your repo's landing page and select "manage topics."