C++ Verification Projects
An advanced SAT solverProject mention: kotlin-satlib: SAT solver wrappers for Kotlin | reddit.com/r/Kotlin | 2021-07-13
Alongside with the SAT solver interface and its extensions, `kotlin-satlib` provides wrappers for native SAT solvers (these days, most of them are written in C/C++) implemented using JNI technology. Currently, the solvers included are: MiniSat, Glucose, Cadical and CryptoMiniSat. Sadly, `kotlin-satlib` won't work out-of-the-box, you have to provide it with some external SAT solver, either in the form of a library or a binary. Luckily, there are build instructions for each of the supported SAT solver, both for Linux and Windows. Checkout the README!
Automatic verification of LLVM optimizations
Deliver Cleaner and Safer Code - Right in Your IDE of Choice!. SonarLint is a free and open source IDE extension that identifies and catches bugs and vulnerabilities as you code, directly in the IDE. Install from your favorite IDE marketplace today.
C++ Verification related posts
A list of new budding programming languages and their interesting features?
12 projects | reddit.com/r/ProgrammingLanguages | 18 Mar 2022
My favourite Pokémon is python
5 projects | reddit.com/r/ProgrammerHumor | 9 Jan 2022
Rapid Open Hardware Development (ROHD) Framework by Intel
3 projects | reddit.com/r/FPGA | 4 Oct 2021
kotlin-satlib: SAT solver wrappers for Kotlin
5 projects | reddit.com/r/Kotlin | 13 Jul 2021
Mathematics: our overlooked ability
1 project | reddit.com/r/agi | 30 Apr 2021
How do I get back into math?
3 projects | reddit.com/r/math | 26 Mar 2021
Are you hiring? Post a new remote job listing for free.