swMATH ID: 20737
Software Authors: Zulkoski, E., Ganesh, V.
Description: SageSAT: Embedding of the SAGE CAS within a SAT solver.
Homepage: https://bitbucket.org/ezulkosk/sagesat
Related Software: STP; Shatter; Alloy*; sharpSAT; Lynx; MathCheck; DRAT-trim; Hadamard; CVC4; CPGraph; veriT; NumPy; z3; FFTW; Isabelle/HOL; SageMath; MiniSat; Mathematica; Maple; Magma
Referenced in: 1 Publication

Referenced in 1 Serial

1 Journal of Automated Reasoning

Referencing Publications by Year