|
« Back to VersTracker
|
All Categories
|
All Tags
|
Related:
formal-verification
theorem-prover
research
game
puzzle
puzzles
games
programming-language
sat-solver
solver
|
| Package |
Description |
Version |
|
acl2
☆
formula
|
Logic and programming language in which you can model computer systems |
8.6 |
|
cadical
☆
formula
|
Clean and efficient state-of-the-art SAT solver |
2.2.1 |
|
color-code
☆
formula
|
Free advanced MasterMind clone |
0.8.7 |
|
cryptominisat
☆
formula
|
Advanced SAT solver |
818c9562f114b315a9246ced943b66b60b38e8fb |
|
depqbf
☆
formula
|
Solver for quantified boolean formulae (QBF) |
6.03 |
|
enigma
☆
formula
|
Puzzle game inspired by Oxyd and Rock'n'Roll |
1.30 |
|
enigma-game
☆
cask
|
Puzzle game inspired by Oxyd and Rock'n'Roll |
1.30 |
|
eprover
☆
formula
|
Theorem prover for full first-order logic with equality |
3.2 |
|
flix
☆
formula
|
Statically typed functional, imperative, and logic programming language |
0.67.2 |
|
isabelle
☆
cask
|
Generic proof assistant |
2025-2 |
|
npush
☆
formula
|
Logic game similar to Sokoban and Boulder Dash |
|
|
prover9
☆
formula
|
Automated theorem prover for first-order and equational logic |
2009-11A |
|
puzzles
☆
cask
|
Collection of small computer programmes which implement one-player puzzle games |
20240802 |
|
puzzles
☆
formula
|
Collection of one-player puzzle games |
20260923.616da16 |
|
puzzles-app
☆
cask
|
Collection of small computer programmes which implement one-player puzzle games |
20241108 |
|
rocq
☆
formula
|
Proof assistant for higher-order logic |
|
|
vampire
☆
formula
|
High-performance theorem prover |
|
|
yices2
☆
formula
|
Yices SMT Solver |
|
|
z3
☆
formula
|
High-performance theorem prover |
12 |