Recent Releases of parafrost
parafrost - ParaFROST 3.4.0
Optimized and cleaned GPU code.
- C++
Published by muhos almost 3 years ago
parafrost - ParaFROST 3.3.7
Resetting memory after 'vars' allocation to fix a bug when reallocating that structure.
- C++
Published by muhos almost 3 years ago
parafrost - ParaFROST 3.3.6
Fixed MDM in incremental solving and assumptions mapping.
- C++
Published by muhos about 3 years ago
parafrost - ParaFROST 3.3.5
Fixed a bug with incremental solving.
- C++
Published by muhos over 3 years ago
parafrost - ParaFROST 3.3.1
Fixing a small bug in the install script that caused the undetection of CUDA in systems running SLURM.
- C++
Published by muhos over 3 years ago
parafrost - ParaFROST 3.3.0
Added support for dimacs reading from stdin. Minor bug fixes. added a compilation option to disable colors.
- C++
Published by muhos over 3 years ago
parafrost - ParaFROST 3.2.2
Minor update to the install script and make templates
- C++
Published by muhos almost 4 years ago
parafrost - ParaFROST CPU 3.0
The CPU version is updated to v3.0 (sc2021 submission). The GPU version will be released soon with DRAT proof enabled.
- C++
Published by muhos almost 5 years ago
parafrost - ParaFROST-2.1
enabled variable mapping during incremental solving
- C++
Published by muhos about 5 years ago
parafrost - ParaFROST-2.0
release used in CAV21 artifact submission
- C++
Published by muhos about 5 years ago
parafrost - ParaFROST 1.0.1
Version submitted to TACAS'21 with bug fix in XOR reasoning.
- C++
Published by muhos about 5 years ago