An advanced SAT solver
-
Updated
Aug 29, 2024 - C++
An advanced SAT solver
Sperocoin - Sustentabilidade em Tecnologia
Project Planeverb is a CPU based real-time wave-based acoustics engine for games. It comes with an integration with the Unity Engine.
Universe Project Limited
hancoin project - the origin of the elastic masternode concept
Program for finding the pairing strategy for the Hypercube Tic-Tac-Toe of dimension 3 and side length 7 (7x7x7 or 7*7*7).
madeline/Proof General: an integrated prover environment for our favourite deductive logic games.
Implementations of several path coloring algorithms for the Boost Graph Library.
An Android app created in 24 hours for ICHACK2020. The app allows students to scan (or import) an image of a handwritten natural deduction proof and will verify its correctness,
Minimal elements for the base b representations of the prime numbers > b for the subsequence ordering, for 2 ≤ b ≤ 36
Add a description, image, and links to the proof topic page so that developers can more easily learn about it.
To associate your repository with the proof topic, visit your repo's landing page and select "manage topics."