Skip to main content
https://github.com/TakehideSoh/SAF
18 January 2026, 11:53:51 UTC
Raw File Download Save again
Tip revision: d26cc9f94a4f79c046ee0cdd3a127a44f7b443b6 authored by TakehideSoh on 23 June 2023, 07:02:26 UTC
Merge pull request #2 from TakehideSoh/dev
Tip revision: d26cc9f
version.hpp 
namespace CaDiCaL {

const char * version ();
const char * copyright ();
const char * signature ();
const char * identifier ();
const char * compiler ();
const char * date ();
const char * flags ();

}