lvzc0 Goto Github PK

3sat-3

:evergreen_tree: Reduction from the 3sat-3 problem to the maximum flow problem.

3sat-ga-woc

Genetic Algorithm and Wisdom of Crowd solver for 3-SAT problem.

advanced-computer-architecture

体系结构研讨 + ysyx高阶大纲 (WIP

book_sc

:green_book:我的个人书籍学习和收藏

cdcl

crypto-sat-solve

Python framework to solve crypto problems using grainofsalt and cryptominisat

dpll-sat

Simple Python implementation of a Complete/Systematic SAT Solver with the DPLL algorithm

firesim-u250

FireSim: Easy-to-use, Scalable, FPGA-accelerated Cycle-accurate Hardware Simulation in the Cloud

fm-ml

Collection of resources for research concerning Machine Learning and Formal Methods.

hw-formal-paper

Recent papers related to hardware formal verification.

ic3ref

IC3 reference implementation: a short, simple, fairly competitive implementation of IC3. Read it, tune it, extend it, play with it.

linux

Linux kernel source tree

mc-benchmark

ml4pdr

NeuroPDR: Integrating Neural Networks in the PDR Algorithm for hardware model checking (MLCAD 2023)

sat

python implementations of algorthims for the boolean satisfiability problem, including one to solve 3SAT in polynomial time

sat_dpll

An implementation of the DPLL algorithm for solving SAT problems

styles

Official repository for Citation Style Language (CSL) citation styles.

vitis-tutorials

Vitis In-Depth Tutorials

z3_ic3

The Z3 Theorem Prover