Xinyu Wang's repositories
smooth_sort
Dijkstra's smooth sort algorithm in x64 assembly
clausal-form
Convert a first-order predicate logic sentence to clausal form
water_puzzle
A fast solver for water sort puzzle.
Language:Rust000
Dijkstra's smooth sort algorithm in x64 assembly
Convert a first-order predicate logic sentence to clausal form
A fast solver for water sort puzzle.