Not a member of Pastebin yet?
Sign Up,
it unlocks many cool features!
- How do I hold and compare values in a Boolean Satisfiability Expression?
- for( int i = 0; i < 16; ++i ) // That's 2^4
- {
- int x1 = i & 1;
- int x2 = i & 2;
- int x3 = i & 4;
- int x4 = i & 8;
- if( ( x1 || !x2 || !x3 ) && ( x1 || x2 || x4 ) )
- ... the expression holds for this combination, store it somewhere ...
- }
Add Comment
Please, Sign In to add comment