Pinned Repositories
cadical
CaDiCaL SAT Solver
Conv-GCN
Code for Multi-graph convolutional network for short-term passenger flow forecasting in urban rail transit
DPLL
Using the DPLL algorithm to solve a maze game.
maples.git.io
metro_prediction
上海地铁预测可视化
modeling-examples
Gurobi modeling examples
mpc-reinforcement-learning
Reinforcement Learning with Model Predictive Control
painless-sat-competition-2021
top-SAT-solvers-2021
The top three SAT solvers of 2021: kissat-MAB, lstech_maple, and kissat_gb.
z3
The Z3 Theorem Prover
fengxiny's Repositories
fengxiny/modeling-examples
Gurobi modeling examples
fengxiny/mpc-reinforcement-learning
Reinforcement Learning with Model Predictive Control
fengxiny/painless-sat-competition-2021
fengxiny/DPLL
Using the DPLL algorithm to solve a maze game.
fengxiny/maples.git.io
fengxiny/cadical
CaDiCaL SAT Solver
fengxiny/top-SAT-solvers-2021
The top three SAT solvers of 2021: kissat-MAB, lstech_maple, and kissat_gb.
fengxiny/z3
The Z3 Theorem Prover
fengxiny/Conv-GCN
Code for Multi-graph convolutional network for short-term passenger flow forecasting in urban rail transit
fengxiny/metro_prediction
上海地铁预测可视化