Skip to content

A
abc
Commit 8404ecda by Alan Mishchenko
Options

Undoing temporary change to the solver.

parent 4d000265
Showing with 1 additions and 1 deletions
src/sat/bsat/satSolver.h
...@@ -33,7 +33,7 @@ OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWA ...@@ -33,7 +33,7 @@ OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWA
ABC_NAMESPACE_HEADER_START ABC_NAMESPACE_HEADER_START
#define USE_FLOAT_ACTIVITY //#define USE_FLOAT_ACTIVITY
//================================================================================================= //=================================================================================================
// Public interface: // Public interface:
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment