4
Lindo Systems, Inc.
46
Demo
Powerful library of optimization solvers and mathematical programming tools.
88
Ben Di Vito
2
Freeware
Designed specifically for solvers of diagramless crossword puzzles.
Microsoft Research
Freeware
Z3 is an SMT solver that combines several theory solvers.
1,638
EasySBC offers AI-powered solutions for EA FC 25, including SBC solvers and squad builders.
BibleMax
4
Commercial
BibleMax module featuring Brown-Driver-Briggs English-Hebrew lexicon.
BibleMax
5
Freeware
BibleMax additional module featuring Joseph H. Thayer's Greek-English lexicon.
PSPaudioware.com
5
Shareware
Lexicon PSP 42 is a high-quality digital stereo delay and phrase sampler plug-in.
Lexicon
7
Commercial
Lexicon’s LXP Native Reverb Bundle provides your music with an engaging aura.
