Boolector #5Let’s create a program for n_queen problem with help of Boolector solver.Jan 29, 2022Jan 29, 2022
Boolector #4Now let’s work on the example from documentation, because they are not that bad😜.Jan 27, 2022Jan 27, 2022
Boolector #3What if we want to create vars with constant value. What? vars and constant? You must be joking, right?Jan 26, 2022Jan 26, 2022
Boolector #2Let’s consider that there is a shop with many similar products of company Btor.Jan 26, 2022Jan 26, 2022
BoolectorBoolector is a Satisfiability Modulo Theories (SMT) solver for the theories of fixed-size bit-vectors, arrays and uninterpreted functions…Jan 26, 2022Jan 26, 2022
PE code Injection in windows program exe.Here’s the windows program (test.cpp) that displays a message box.Oct 31, 2021Oct 31, 2021