mirror of https://github.com/dnomd343/klotski.git
You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
81 lines
2.3 KiB
81 lines
2.3 KiB
#include <iostream>
|
|
|
|
#include "ffi/klotski.h"
|
|
|
|
int main() {
|
|
|
|
// for (const auto &c : FastCal::resolve(RawCode::from_common_code("1a9bf0c"))) {
|
|
// std::cout << c << std::endl;
|
|
// }
|
|
//
|
|
// auto a = Analyse(RawCode::from_common_code("1a9bf0c"));
|
|
// for (const auto &s : a.build_resolve()) {
|
|
// std::cout << s << std::endl;
|
|
// }
|
|
|
|
return 0;
|
|
|
|
|
|
// auto fc = FastCal(RawCode::from_common_code("1a9bf0c"));
|
|
// fc.solve();
|
|
|
|
// {
|
|
// auto fc = FastCal(RawCode::unsafe_create(0));
|
|
// for (auto code : test_cases) {
|
|
// fc.set_root(code);
|
|
// fc.solve();
|
|
// }
|
|
// }
|
|
|
|
|
|
// auto a = Analyse(RawCode::from_common_code("1a9bf0c"));
|
|
// auto a = Analyse(RawCode::from_common_code("4fea134"));
|
|
// auto a = Analyse(RawCode::from_common_code("A5D3AF"));
|
|
|
|
|
|
// a.build();
|
|
// auto ret = a.build_until([](uint64_t code) {
|
|
// return ((code >> (3 * 0xD)) & 0b111) == B_2x2;
|
|
// });
|
|
// auto ret = a.build_resolve();
|
|
// for (const auto &r : ret) {
|
|
// std::cout << r << std::endl;
|
|
// }
|
|
// std::cout << ret.size() << std::endl;
|
|
|
|
// start_time = clock();
|
|
// auto svg_ret = a.backtrack(ret);
|
|
// std::cerr << (clock() - start_time) * 1000000 / CLOCKS_PER_SEC << "us" << std::endl;
|
|
|
|
|
|
// auto g = Graph();
|
|
// auto svg_data = g.svg_demo(svg_ret);
|
|
|
|
// std::cout << svg_data << std::endl;
|
|
|
|
// std::cout << a.layer_export(81).size() << std::endl;
|
|
// std::cout << a.layer_export()[81].size() << std::endl;
|
|
|
|
|
|
// std::vector<uint64_t> raw_codes = {
|
|
// CommonCode(0xDAAF4CC00).to_raw_code().unwrap(),
|
|
// CommonCode(0xDAA7F3000).to_raw_code().unwrap(),
|
|
// };
|
|
// a.backtrack(raw_codes);
|
|
|
|
// std::vector<uint64_t> raw_codes = {
|
|
// CommonCode("DE77D80").to_raw_code().unwrap(),
|
|
// CommonCode("DF6DD80").to_raw_code().unwrap(),
|
|
// CommonCode("DF69730").to_raw_code().unwrap(),
|
|
// CommonCode("DE76D30").to_raw_code().unwrap(),
|
|
// CommonCode("D5AF730").to_raw_code().unwrap(),
|
|
// CommonCode("D5B43BC").to_raw_code().unwrap(),
|
|
// };
|
|
// std::vector<uint64_t> raw_codes = {
|
|
// CommonCode("EF697C0").to_raw_code().unwrap(),
|
|
// };
|
|
// TODO: FATAL ERROR -> don't using mask in Analyse
|
|
// a.backtrack(raw_codes);
|
|
|
|
return 0;
|
|
}
|
|
|