// File: /workspace/github_cpp_makefile_star2_O3/cauimsouza[P]rikudo-solver/src/rikudo_solver/graph.cpp
// Function: Graph::solve_sat()
void Graph::solve_sat(){
    char buffer[1024];  
    int buffer_size = 1024;
    
    readlink("/proc/self/exe", buffer, buffer_size);
    char *path_s = dirname(buffer);
    char *parpath_s = dirname(path_s);
    std::string path(path_s);
    std::string sat_path(std::string(parpath_s) + "/lib/" + sat_solver);
    std::string inp_path(path + "/bin/" + std::string(sat_input));
    std::string out_path(path + "/bin/" + std::string(sat_output));
    std::cout << inp_path << "\n" << out_path << "\n";

    std::string cmd = sat_path + " " + inp_path + " > " + out_path; 
    std::system(cmd.data());
}

// Assembly:
pushq %rbp
movq %rsp, %rbp
pushq %r15
pushq %r14
pushq %r13
pushq %r12
pushq %rbx
subq $0x508, %rsp            # imm = 0x508
leaq 0x3f43(%rip), %rdi      # 0x91b4
leaq -0x530(%rbp), %rbx
movl $0x400, %edx            # imm = 0x400
movq %rbx, %rsi
callq 0x2210
movq %rbx, %rdi
callq 0x20e0
movq %rax, %rbx
movq %rax, %rdi
callq 0x20e0
movq %rax, %r14
leaq -0x110(%rbp), %rdi
leaq -0xd0(%rbp), %rdx
movq %rbx, %rsi
callq 0x20c0
leaq -0x50(%rbp), %rdi
leaq -0x70(%rbp), %rdx
movq %r14, %rsi
callq 0x20c0
leaq 0x3efb(%rip), %rsi      # 0x91c3
leaq -0x50(%rbp), %rdi
callq 0x23c0
leaq -0x80(%rbp), %r12
movq %r12, -0x10(%r12)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x52f9
movq %rdx, -0x90(%rbp)
movq (%rcx), %rdx
movq %rdx, -0x80(%rbp)
jmp 0x5301
movups (%rcx), %xmm0
movups %xmm0, (%r12)
movq 0x8(%rax), %rdx
leaq -0x90(%rbp), %rdi
movq %rdx, 0x8(%rdi)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq 0x3ea3(%rip), %rsi      # 0x91c9
callq 0x23c0
leaq -0xc0(%rbp), %rsi
movq %rsi, -0x10(%rsi)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x5358
movq %rdx, -0xd0(%rbp)
movq (%rcx), %rdx
movq %rdx, -0xc0(%rbp)
jmp 0x535e
movups (%rcx), %xmm0
movups %xmm0, (%rsi)
movq 0x8(%rax), %rdx
movq %rdx, -0xc8(%rbp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
movq -0x90(%rbp), %rdi
cmpq %r12, %rdi
je 0x5389
callq 0x21d0
leaq -0x40(%rbp), %rbx
movq -0x10(%rbx), %rdi
cmpq %rbx, %rdi
je 0x539b
callq 0x21d0
leaq -0x50(%rbp), %rdi
movq %rbx, (%rdi)
movq -0x110(%rbp), %rsi
movq -0x108(%rbp), %rdx
addq %rsi, %rdx
callq 0x3216
leaq 0x3e18(%rip), %rsi      # 0x91d7
leaq -0x50(%rbp), %rdi
callq 0x23c0
leaq -0x60(%rbp), %r13
movq %r13, -0x10(%r13)
leaq 0x3d8f(%rip), %rsi      # 0x9166
leaq 0x3d95(%rip), %rdx      # 0x9173
leaq -0x70(%rbp), %rdi
callq 0x799c
movq -0x50(%rbp), %rcx
movq -0x48(%rbp), %r8
movq -0x68(%rbp), %rdx
leaq (%rdx,%r8), %rax
movl $0xf, %edi
cmpq %rbx, %rcx
je 0x5405
movq -0x40(%rbp), %rdi
movq -0x70(%rbp), %rsi
cmpq %rdi, %rax
jbe 0x5421
movl $0xf, %edi
cmpq %r13, %rsi
je 0x541c
movq -0x60(%rbp), %rdi
cmpq %rdi, %rax
jbe 0x542c
leaq -0x50(%rbp), %rdi
callq 0x2090
jmp 0x5439
leaq -0x70(%rbp), %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0x2230
movq %r12, -0x90(%rbp)
movq (%rax), %rdx
leaq 0x10(%rax), %rcx
cmpq %rcx, %rdx
je 0x545c
movq %rdx, -0x90(%rbp)
movq (%rcx), %rdx
movq %rdx, -0x80(%rbp)
jmp 0x5464
movups (%rcx), %xmm0
movups %xmm0, (%r12)
movq %rax, %rdx
addq $0x8, %rdx
movq 0x8(%rax), %rsi
movq %rsi, -0x88(%rbp)
movq %rcx, (%rax)
movq $0x0, (%rdx)
movb $0x0, (%rcx)
movq -0x70(%rbp), %rdi
cmpq %r13, %rdi
je 0x5491
callq 0x21d0
movq -0x50(%rbp), %rdi
cmpq %rbx, %rdi
je 0x549f
callq 0x21d0
leaq -0x70(%rbp), %rdi
movq %r13, (%rdi)
movq -0x110(%rbp), %rsi
movq -0x108(%rbp), %rdx
addq %rsi, %rdx
callq 0x3216
leaq 0x3d14(%rip), %rsi      # 0x91d7
leaq -0x70(%rbp), %rdi
callq 0x23c0
leaq -0xa0(%rbp), %r14
movq %r14, -0x10(%r14)
leaq 0x3cb6(%rip), %rsi      # 0x9194
leaq 0x3cbd(%rip), %rdx      # 0x91a2
leaq -0xb0(%rbp), %rdi
callq 0x799c
movq -0x70(%rbp), %rcx
movq -0x68(%rbp), %r8
movq -0xa8(%rbp), %rdx
leaq (%rdx,%r8), %rax
movl $0xf, %edi
cmpq %r13, %rcx
je 0x5512
movq -0x60(%rbp), %rdi
movq -0xb0(%rbp), %rsi
cmpq %rdi, %rax
jbe 0x5534
movl $0xf, %edi
cmpq %r14, %rsi
je 0x552f
movq -0xa0(%rbp), %rdi
cmpq %rdi, %rax
jbe 0x553f
leaq -0x70(%rbp), %rdi
callq 0x2090
jmp 0x554f
leaq -0xb0(%rbp), %rdi
xorl %esi, %esi
xorl %edx, %edx
callq 0x2230
movq %rbx, -0x50(%rbp)
movq (%rax), %rdx
leaq 0x10(%rax), %rcx
cmpq %rcx, %rdx
je 0x556c
movq %rdx, -0x50(%rbp)
movq (%rcx), %rdx
movq %rdx, -0x40(%rbp)
jmp 0x5572
movups (%rcx), %xmm0
movups %xmm0, (%rbx)
movq %rax, %rdx
addq $0x8, %rdx
movq 0x8(%rax), %rsi
movq %rsi, -0x48(%rbp)
movq %rcx, (%rax)
movq $0x0, (%rdx)
movb $0x0, (%rcx)
movq -0xb0(%rbp), %rdi
cmpq %r14, %rdi
je 0x559f
callq 0x21d0
movq -0x70(%rbp), %rdi
cmpq %r13, %rdi
je 0x55ad
callq 0x21d0
movq -0x90(%rbp), %rsi
movq -0x88(%rbp), %rdx
movq 0x7a0e(%rip), %rdi      # 0xcfd0
callq 0x2250
movq %rax, %rbx
leaq 0x3bac(%rip), %rsi      # 0x917d
movl $0x1, %edx
movq %rax, %rdi
callq 0x2250
movq -0x50(%rbp), %rsi
movq -0x48(%rbp), %rdx
movq %rbx, %rdi
callq 0x2250
leaq 0x3b88(%rip), %rsi      # 0x917d
movl $0x1, %edx
movq %rax, %rdi
callq 0x2250
leaq -0xe0(%rbp), %rbx
movq %rbx, -0x10(%rbx)
movq -0xd0(%rbp), %rsi
movq -0xc8(%rbp), %rdx
addq %rsi, %rdx
leaq -0xf0(%rbp), %rdi
callq 0x3216
leaq 0x3bae(%rip), %rsi      # 0x91df
leaq -0xf0(%rbp), %rdi
callq 0x23c0
movq -0x90(%rbp), %rsi
movq -0x88(%rbp), %rdx
leaq -0xf0(%rbp), %rdi
callq 0x2090
leaq -0x120(%rbp), %r15
movq %r15, -0x10(%r15)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x5684
movq %rdx, -0x130(%rbp)
movq (%rcx), %rdx
movq %rdx, -0x120(%rbp)
jmp 0x568b
movups (%rcx), %xmm0
movups %xmm0, (%r15)
movq 0x8(%rax), %rdx
leaq -0x130(%rbp), %rdi
movq %rdx, 0x8(%rdi)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
leaq 0x3b2d(%rip), %rsi      # 0x91dd
callq 0x23c0
movq %r14, -0xb0(%rbp)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x56de
movq %rdx, -0xb0(%rbp)
movq (%rcx), %rdx
movq %rdx, -0xa0(%rbp)
jmp 0x56e5
movups (%rcx), %xmm0
movups %xmm0, (%r14)
movq 0x8(%rax), %rdx
leaq -0xb0(%rbp), %rdi
movq %rdx, 0x8(%rdi)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
movq -0x50(%rbp), %rsi
movq -0x48(%rbp), %rdx
callq 0x2090
movq %r13, -0x70(%rbp)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x5730
movq %rdx, -0x70(%rbp)
movq (%rcx), %rdx
movq %rdx, -0x60(%rbp)
jmp 0x5738
movups (%rcx), %xmm0
movups %xmm0, (%r13)
movq 0x8(%rax), %rdx
movq %rdx, -0x68(%rbp)
movq %rcx, (%rax)
movq $0x0, 0x8(%rax)
movb $0x0, 0x10(%rax)
movq -0xb0(%rbp), %rdi
cmpq %r14, %rdi
je 0x5760
callq 0x21d0
movq -0x130(%rbp), %rdi
cmpq %r15, %rdi
je 0x5771
callq 0x21d0
movq -0xf0(%rbp), %rdi
cmpq %rbx, %rdi
movq %r12, %rbx
je 0x5785
callq 0x21d0
movq -0x70(%rbp), %rdi
callq 0x2190
movq -0x70(%rbp), %rdi
cmpq %r13, %rdi
je 0x579c
callq 0x21d0
movq -0x50(%rbp), %rdi
leaq -0x40(%rbp), %rax
cmpq %rax, %rdi
je 0x57ae
callq 0x21d0
movq -0x90(%rbp), %rdi
cmpq %rbx, %rdi
je 0x57bf
callq 0x21d0
movq -0xd0(%rbp), %rdi
leaq -0xc0(%rbp), %rax
cmpq %rax, %rdi
je 0x57d7
callq 0x21d0
leaq -0x100(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x57ec
callq 0x21d0
addq $0x508, %rsp            # imm = 0x508
popq %rbx
popq %r12
popq %r13
popq %r14
popq %r15
popq %rbp
retq
movq %rax, -0x30(%rbp)
movq -0x70(%rbp), %rdi
cmpq %r13, %rdi
jne 0x5854
jmp 0x58eb
movq %rax, -0x30(%rbp)
movq -0xb0(%rbp), %rdi
cmpq %r14, %rdi
je 0x582b
callq 0x21d0
jmp 0x582b
movq %rax, -0x30(%rbp)
movq -0x130(%rbp), %rdi
cmpq %r15, %rdi
je 0x5844
callq 0x21d0
jmp 0x5844
jmp 0x5840
movq %rax, -0x30(%rbp)
movq -0xf0(%rbp), %rdi
cmpq %rbx, %rdi
je 0x58eb
callq 0x21d0
jmp 0x58eb
jmp 0x58e7
movq %rax, -0x30(%rbp)
movq -0xb0(%rbp), %rdi
cmpq %r14, %rdi
je 0x5880
callq 0x21d0
jmp 0x5880
jmp 0x587c
movq %rax, -0x30(%rbp)
movq -0x70(%rbp), %rdi
cmpq %r13, %rdi
jne 0x58f8
jmp 0x58fd
movq %rax, -0x30(%rbp)
jmp 0x58fd
movq %rax, -0x30(%rbp)
movq -0x70(%rbp), %rdi
cmpq %r13, %rdi
je 0x58ab
callq 0x21d0
jmp 0x58ab
jmp 0x58a7
movq %rax, -0x30(%rbp)
movq -0x50(%rbp), %rdi
cmpq %rbx, %rdi
jne 0x5909
jmp 0x590e
movq %rax, -0x30(%rbp)
jmp 0x590e
movq %rax, -0x30(%rbp)
movq -0x90(%rbp), %rdi
cmpq %r12, %rdi
je 0x58d7
callq 0x21d0
jmp 0x58d7
movq %rax, -0x30(%rbp)
leaq -0x40(%rbp), %rax
movq -0x10(%rax), %rdi
jmp 0x591c
movq %rax, -0x30(%rbp)
jmp 0x5926
movq %rax, -0x30(%rbp)
movq -0x50(%rbp), %rdi
leaq -0x40(%rbp), %rax
cmpq %rax, %rdi
je 0x58fd
callq 0x21d0
movq -0x90(%rbp), %rdi
cmpq %r12, %rdi
je 0x590e
callq 0x21d0
movq -0xd0(%rbp), %rdi
leaq -0xc0(%rbp), %rax
cmpq %rax, %rdi
je 0x5926
callq 0x21d0
leaq -0x100(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x593b
callq 0x21d0
movq -0x30(%rbp), %rdi
callq 0x2380