diff options
| author | Bruno Schmitt <bruno@oschmitt.com> | 2017-02-11 13:28:22 -0800 |
|---|---|---|
| committer | Bruno Schmitt <bruno@oschmitt.com> | 2017-02-11 13:28:22 -0800 |
| commit | ab2d3acac99620aef7d5b1c48eb59ee33bb2b584 (patch) | |
| tree | 69d1da6aee0c60de07bd9384c77fcea029915fe4 /src/sat/xsat/xsatSolver.c | |
| parent | 8333cb807fbe6773df8285591e75f35d519b6e81 (diff) | |
| download | abc-ab2d3acac99620aef7d5b1c48eb59ee33bb2b584.tar.gz abc-ab2d3acac99620aef7d5b1c48eb59ee33bb2b584.tar.bz2 abc-ab2d3acac99620aef7d5b1c48eb59ee33bb2b584.zip | |
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).
Diffstat (limited to 'src/sat/xsat/xsatSolver.c')
0 files changed, 0 insertions, 0 deletions