zouyue1410

probsat

Solver for 3-SAT problem

probSAT

The probSAT SAT Solver

Local-Search-for-SAT

Implementation of local search-based algorithms for solving SAT and Max-SAT in Python

End2EndSAT

Predicting Satisfiability via End-to-End Learning

JavaGuide

「Java学习+面试指南」一份涵盖大部分 Java 程序员所需要掌握的核心知识。准备 Java 面试，首选 JavaGuide！

accountBook

这是我独立做的第一个APP，是一个记账本APP。This is the first APP, I've ever done on my own. It's a accountbook APP.

software-testing-interview-question

这是一个关于软件测试面试题目的列表，收集了关于测试理论，自动化测试，性能测试以及其他一些软件测试相关的面试题目。

CS-Notes

:books: 技术面试必备基础知识、Leetcode、计算机操作系统、计算机网络、系统设计

NLocalSAT

NLocalSAT; Boosting Local Search with Solution Prediction

awesome-ml4co

Awesome machine learning for combinatorial optimization papers.

neurosat

NeuroSAT: Learning a SAT Solver from Single-Bit Supervision

neuralheuristicsforsat

sat

Learning local search heuristics for Boolean satisfiability

csp-drl

Implementation of "Learning Variable Ordering Heuristics for Solving Constraint Satisfaction Problems"

NPHard

Combinatorial Optimization with Graph Convolutional Networks and Guided Tree Search

Graph_Transformer_Networks

Graph Transformer Networks (Authors' PyTorch implementation for the NeurIPS 19 paper)

PDP-Solver

PDP: A General Neural Framework for Learning Constraint Satisfaction Solvers