- 11 Feb, 2017 2 commits
-
-
New implementation of a software floating point implementation (sdbl) for consistency across different platforms and compilers. Removing useless files and compile time options related to variable activity data type (it can only be sdbl).
Bruno Schmitt committed -
Expose all options to command line. Expose search statistics to users.
Bruno Schmitt committed
-
- 09 Feb, 2017 1 commit
-
-
- Adding a compile time option to use floats for var activity (now it can be either ‘double’, ‘float’ or ‘unsigned’ (default)) - Adding vector of ‘float’ - Adding an option to configure the ratio of learnt clauses to be kept in clause database at each reduction (0 means no reduction). - Other small changes.
Bruno Schmitt committed
-
- 06 Feb, 2017 1 commit
-
-
The command is ‘satoko’
Bruno Schmitt committed
-