prophet-sys 0.1.2

Low-level bindings for libprophet, a library to probe 6-piece "Prophet" chess endgame tablebases (depth to mate)
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56

#![allow(nonstandard_style)]

include!(concat!(env!("OUT_DIR"), "/bindings.rs"));

#[cfg(test)]
mod tests {
    use std::ffi::c_int;

    use super::*;

    #[test]
    fn test_probe() {
        unsafe {
            prophet_tb_init();

            // 4k3/8/8/8/8/8/4Q3/4K3 b - - 0 1
            let pieces: [c_int; 6] = [
                6,  // white king
                5,  // white queen
                14, // black king
                0,  // no piece
                0,  // no piece
                0,  // no piece
            ];
            let squares: [c_int; 6] = [
                4,  // e1
                12, // e2
                60, // e8
                0,  // unused
                0,  // unused
                0,  // unused
            ];
            let stm = 1; // black to move
            let ep_square = 64; // no en-passant square

            assert_eq!(
                prophet_tb_is_valid_position(pieces.as_ptr(), squares.as_ptr(), stm, ep_square),
                1
            );

            let dctx = prophet_tb_create_decompress_ctx();
            let dtm =
                prophet_tb_probe_dtm_dctx(pieces.as_ptr(), squares.as_ptr(), stm, ep_square, dctx);
            assert_eq!(dtm, -1001); // no tables added yet

            assert!(11 <= prophet_tb_add_path(c"tables".as_ptr()));
            let dtm =
                prophet_tb_probe_dtm_dctx(pieces.as_ptr(), squares.as_ptr(), stm, ep_square, dctx);
            assert_eq!(dtm, -16);

            prophet_tb_free_decompress_ctx(dctx);

            prophet_tb_deinit();
        }
    }
}