SSATmp is a small utility program written in the C++ programming language. It is designed to assist in various tasks related to SSAT (Satisfiability Modulo Theories) solving. SSAT is a domain within artificial intelligence that deals with determining the probability of a boolean formula being satisfiable. SSATmp provides functionalities such as generating random SSAT instances, converting SSAT problems into SAT (Satisfiability) problems, and converting SSAT solutions to probability values. This tool can be useful for researchers and developers working in the field of SSAT solving and related applications.
C++ (Cpp) SSATmp - 30 examples found. These are the top rated real world C++ (Cpp) examples of SSATmp extracted from open source projects. You can rate examples to help us improve the quality of examples.