fengxiny

Pinned Repositories

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

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
上海地铁预测可视化