Works
SAT solver
—monthly views
0copies owned
—player watchlists
Works
SAT solver
Computer program for the Boolean satisfiability problem
rare · Q21055608
Related cards · mathematical software
See all 149
Concepts
Lean (proof assistant)
—monthly views
0copies owned
—player watchlists
Organizations
Desmos
—monthly views
0copies owned
—player watchlists
Concepts
GNU Octave
—monthly views
0copies owned
—player watchlists
Concepts
Agda (programming language)
—monthly views
0copies owned
—player watchlists
Works
Isabelle (proof assistant)
—monthly views
0copies owned
—player watchlists
Concepts
Idris (programming language)
—monthly views
0copies owned
—player watchlists
Related cards · computer program
See all 716
Works
Amazon Alexa
—monthly views
0copies owned
—player watchlists
Pop culture
AlphaGo
—monthly views
0copies owned
—player watchlists
.png/330px-Anubis_challenge_screen_(dark).png)
Works
Anubis (software)
—monthly views
0copies owned
—player watchlists
Works
AlphaZero
—monthly views
0copies owned
—player watchlists
Works
Amazon Echo
—monthly views
0copies owned
—player watchlists
.svg/330px-Modern_AutoHotkey_Logo_(no_text).svg.png){kind=logo}
Works
AutoHotkey
—monthly views
0copies owned
—player watchlists