A study playground about SAT solvers, their implementation and applications

Sources and data for the paper 'Inverting 43-step MD4 via Cube-and-Conquer' accepted to IJCAI-ECAI-2022

This repository contains the code of Intel(R) SAT Solver (IntelSAT)

3dVis by Carsten Sinz

12 Weeks, 24 Lessons, IoT for All!

AWS Lambda Power Tuning is an open-source tool that can help you visualize and fine-tune the memory/power configuration of Lambda functions. It runs in your own AWS account - powered by AWS Step Fu…

configurable, high-performance SAT solver, implementing incremental solving interface of MiniSat and IPASIR. Based on MiniSat (minisat.se)

An FHE compiler for C++

Prototype compiler from AWS CloudFormation IaC templates into Logic.

Bridging deep learning and logical reasoning using a differentiable satisfiability solver.

GitHub mirror of the MathCheck repository

Problem generator for CNF and PBO encodings of hash functions.

Hash collisions and exploitations

A curated list of cryptography resources and links.

The DRAT-trim proof checker

GitHub mirror of the MapleSAT repo

A minimalistic and high-performance SAT solver

Code for the NeurIPS 2020 paper Efficient Exact Verification of Binarized Neural Networks

A Theme for GitHub Pages

A beautiful, simple, clean, and responsive Jekyll theme for academics

Fast and Accurate ML in 3 Lines of Code

MonoSAT - An SMT solver for Monotonic Theories

MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers

Collection of various algorithms in mathematics, machine learning, computer science and physics implemented in C++ for educational purposes.

SyReNN: Symbolic Representations for Neural Networks

Proof of Concepts (PE, PDF...)

A toolkit for SAT-based prototyping in Python