| Commit message (Collapse) | Author | Age | Files | Lines |
|
|
|
|
|
| |
consistency across different platforms and compilers.
Removing useless files and compile time options related to variable activity data type (it can only be sdbl).
|
| |
|
|
|
|
|
| |
Expose all options to command line.
Expose search statistics to users.
|
|
|
|
|
|
|
|
| |
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.
|
| |
|
|
The command is ‘satoko’
|