// File: /workspace/github_cpp_makefile_star2_O1/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 0x3e83(%rip), %rdi      # 0x919c
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 0x3e3b(%rip), %rsi      # 0x91ab
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 0x53a1
movq %rdx, -0x90(%rbp)
movq (%rcx), %rdx
movq %rdx, -0x80(%rbp)
jmp 0x53a9
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 0x3de3(%rip), %rsi      # 0x91b1
callq 0x23c0
leaq -0xc0(%rbp), %rsi
movq %rsi, -0x10(%rsi)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x5400
movq %rdx, -0xd0(%rbp)
movq (%rcx), %rdx
movq %rdx, -0xc0(%rbp)
jmp 0x5406
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 0x5431
callq 0x21d0
leaq -0x40(%rbp), %rbx
movq -0x10(%rbx), %rdi
cmpq %rbx, %rdi
je 0x5443
callq 0x21d0
leaq -0x50(%rbp), %rdi
movq %rbx, (%rdi)
movq -0x110(%rbp), %rsi
movq -0x108(%rbp), %rdx
addq %rsi, %rdx
callq 0x3220
leaq 0x3d58(%rip), %rsi      # 0x91bf
leaq -0x50(%rbp), %rdi
callq 0x23c0
leaq -0x60(%rbp), %r13
movq %r13, -0x10(%r13)
leaq 0x3ccf(%rip), %rsi      # 0x914e
leaq 0x3cd5(%rip), %rdx      # 0x915b
leaq -0x70(%rbp), %rdi
callq 0x7a46
movq -0x50(%rbp), %rcx
movq -0x48(%rbp), %r8
movq -0x68(%rbp), %rdx
leaq (%rdx,%r8), %rax
movl $0xf, %esi
cmpq %rbx, %rcx
je 0x54ad
movq -0x40(%rbp), %rsi
cmpq %rsi, %rax
jbe 0x54c6
movl $0xf, %esi
cmpq %r13, -0x70(%rbp)
je 0x54c1
movq -0x60(%rbp), %rsi
cmpq %rsi, %rax
jbe 0x54d5
movq -0x70(%rbp), %rsi
leaq -0x50(%rbp), %rdi
callq 0x2090
jmp 0x54e2
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 0x5505
movq %rdx, -0x90(%rbp)
movq (%rcx), %rdx
movq %rdx, -0x80(%rbp)
jmp 0x550d
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 0x553a
callq 0x21d0
movq -0x50(%rbp), %rdi
cmpq %rbx, %rdi
je 0x5548
callq 0x21d0
leaq -0x70(%rbp), %rdi
movq %r13, (%rdi)
movq -0x110(%rbp), %rsi
movq -0x108(%rbp), %rdx
addq %rsi, %rdx
callq 0x3220
leaq 0x3c53(%rip), %rsi      # 0x91bf
leaq -0x70(%rbp), %rdi
callq 0x23c0
leaq -0xa0(%rbp), %r14
movq %r14, -0x10(%r14)
leaq 0x3bf5(%rip), %rsi      # 0x917c
leaq 0x3bfc(%rip), %rdx      # 0x918a
leaq -0xb0(%rbp), %rdi
callq 0x7a46
movq -0x70(%rbp), %rcx
movq -0x68(%rbp), %r8
movq -0xa8(%rbp), %rdx
leaq (%rdx,%r8), %rax
movl $0xf, %esi
cmpq %r13, %rcx
je 0x55bb
movq -0x60(%rbp), %rsi
cmpq %rsi, %rax
jbe 0x55da
movl $0xf, %esi
cmpq %r14, -0xb0(%rbp)
je 0x55d5
movq -0xa0(%rbp), %rsi
cmpq %rsi, %rax
jbe 0x55ec
movq -0xb0(%rbp), %rsi
leaq -0x70(%rbp), %rdi
callq 0x2090
jmp 0x55fc
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 0x5619
movq %rdx, -0x50(%rbp)
movq (%rcx), %rdx
movq %rdx, -0x40(%rbp)
jmp 0x561f
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 0x564c
callq 0x21d0
movq -0x70(%rbp), %rdi
cmpq %r13, %rdi
je 0x565a
callq 0x21d0
movq -0x90(%rbp), %rsi
movq -0x88(%rbp), %rdx
movq 0x7961(%rip), %rdi      # 0xcfd0
callq 0x2250
movq %rax, %rbx
leaq 0x3ae7(%rip), %rsi      # 0x9165
movl $0x1, %edx
movq %rax, %rdi
callq 0x2250
movq -0x50(%rbp), %rsi
movq -0x48(%rbp), %rdx
movq %rbx, %rdi
callq 0x2250
leaq 0x3ac3(%rip), %rsi      # 0x9165
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 0x3220
leaq 0x3ae9(%rip), %rsi      # 0x91c7
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 0x5731
movq %rdx, -0x130(%rbp)
movq (%rcx), %rdx
movq %rdx, -0x120(%rbp)
jmp 0x5738
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 0x3a68(%rip), %rsi      # 0x91c5
callq 0x23c0
movq %r14, -0xb0(%rbp)
movq (%rax), %rdx
movq %rax, %rcx
addq $0x10, %rcx
cmpq %rcx, %rdx
je 0x578b
movq %rdx, -0xb0(%rbp)
movq (%rcx), %rdx
movq %rdx, -0xa0(%rbp)
jmp 0x5792
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 0x57dd
movq %rdx, -0x70(%rbp)
movq (%rcx), %rdx
movq %rdx, -0x60(%rbp)
jmp 0x57e5
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 0x580d
callq 0x21d0
movq -0x130(%rbp), %rdi
cmpq %r15, %rdi
je 0x581e
callq 0x21d0
movq -0xf0(%rbp), %rdi
cmpq %rbx, %rdi
movq %r12, %rbx
je 0x5832
callq 0x21d0
movq -0x70(%rbp), %rdi
callq 0x2190
movq -0x70(%rbp), %rdi
cmpq %r13, %rdi
je 0x5849
callq 0x21d0
movq -0x50(%rbp), %rdi
leaq -0x40(%rbp), %rax
cmpq %rax, %rdi
je 0x585b
callq 0x21d0
movq -0x90(%rbp), %rdi
cmpq %rbx, %rdi
je 0x586c
callq 0x21d0
movq -0xd0(%rbp), %rdi
leaq -0xc0(%rbp), %rax
cmpq %rax, %rdi
je 0x5884
callq 0x21d0
leaq -0x100(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x5899
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 0x5901
jmp 0x5998
movq %rax, -0x30(%rbp)
movq -0xb0(%rbp), %rdi
cmpq %r14, %rdi
je 0x58d8
callq 0x21d0
jmp 0x58d8
movq %rax, -0x30(%rbp)
movq -0x130(%rbp), %rdi
cmpq %r15, %rdi
je 0x58f1
callq 0x21d0
jmp 0x58f1
jmp 0x58ed
movq %rax, -0x30(%rbp)
movq -0xf0(%rbp), %rdi
cmpq %rbx, %rdi
je 0x5998
callq 0x21d0
jmp 0x5998
jmp 0x5994
movq %rax, -0x30(%rbp)
movq -0xb0(%rbp), %rdi
cmpq %r14, %rdi
je 0x592d
callq 0x21d0
jmp 0x592d
jmp 0x5929
movq %rax, -0x30(%rbp)
movq -0x70(%rbp), %rdi
cmpq %r13, %rdi
jne 0x59a5
jmp 0x59aa
movq %rax, -0x30(%rbp)
jmp 0x59aa
movq %rax, -0x30(%rbp)
movq -0x70(%rbp), %rdi
cmpq %r13, %rdi
je 0x5958
callq 0x21d0
jmp 0x5958
jmp 0x5954
movq %rax, -0x30(%rbp)
movq -0x50(%rbp), %rdi
cmpq %rbx, %rdi
jne 0x59b6
jmp 0x59bb
movq %rax, -0x30(%rbp)
jmp 0x59bb
movq %rax, -0x30(%rbp)
movq -0x90(%rbp), %rdi
cmpq %r12, %rdi
je 0x5984
callq 0x21d0
jmp 0x5984
movq %rax, -0x30(%rbp)
leaq -0x40(%rbp), %rax
movq -0x10(%rax), %rdi
jmp 0x59c9
movq %rax, -0x30(%rbp)
jmp 0x59d3
movq %rax, -0x30(%rbp)
movq -0x50(%rbp), %rdi
leaq -0x40(%rbp), %rax
cmpq %rax, %rdi
je 0x59aa
callq 0x21d0
movq -0x90(%rbp), %rdi
cmpq %r12, %rdi
je 0x59bb
callq 0x21d0
movq -0xd0(%rbp), %rdi
leaq -0xc0(%rbp), %rax
cmpq %rax, %rdi
je 0x59d3
callq 0x21d0
leaq -0x100(%rbp), %rax
movq -0x10(%rax), %rdi
cmpq %rax, %rdi
je 0x59e8
callq 0x21d0
movq -0x30(%rbp), %rdi
callq 0x2380
nop