<commit_before>/*********************************************************************
Author: <NAME> <<EMAIL>>

OpenSMT -- Copyright (C) 2008, <NAME>

OpenSMT is free software: you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation, either version 3 of the License, or
(at your option) any later version.

OpenSMT is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

You should have received a copy of the GNU General Public License
along with OpenSMT. If not, see <http://www.gnu.org/licenses/>.
*********************************************************************/

#include "Egraph.h"
#include "MinisatSMTSolver.h"
#include "Tseitin.h"

#include <cstdlib>
#include <cstdio>
#include <iostream>
#include <csignal>

#if defined(__linux__)
#include <fpu_control.h>
#endif

void        printResult( const lbool & );
void        catcher( int );
extern int  smtparse( );
extern int  smtrestart( FILE * );
Egraph *    parser_egraph;
SMTConfig * parser_config;

/*****************************************************************************\
 *                                                                           *
 *                                  MAIN                                     *
 *                                                                           *
\*****************************************************************************/

int main( int argc, char * argv[] )
{
  // Catch SigTerm, so that it answers even on ctrl-c
  signal( SIGTERM, catcher );
  signal( SIGINT, catcher );

#ifndef SMTCOMP
  cerr << "#" << endl
       << "# -------------------------------------------------------------------------" << endl
       << "#                                                                          " << endl
       << "# OpenSMT " << VERSION << "-- Copyright (C) 2008, <NAME>" << endl
       << "#                                                                          " << endl
       << "# OpenSMT is free software: you can redistribute it and/or modify it under " << endl
       << "# the terms of the GNU General Public License as published by the Free     " << endl
       << "# Software Foundation, either version 3 of the License, or (at your option)" << endl
       << "# any later version.                                                       " << endl
       << "#                                                                          " << endl
       << "# OpenSMT is distributed in the hope that it will be useful, but WITHOUT   " << endl
       << "# ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or    " << endl
       << "# FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for " << endl
       << "# more details.                                                            " << endl
       << "#                                                                          " << endl
       << "# You should have received a copy of the GNU General Public License along  " << endl
       << "# with OpenSMT. If not, see <http://www.gnu.org/licenses/>.                " << endl
       << "#                                                                          " << endl
       << "# -------------------------------------------------------------------------" << endl
       << "# http://code.google.com/p/opensmt           <<EMAIL>>" << endl
       << "# -------------------------------------------------------------------------" << endl
       << "#" << endl;<commit_msg>Added a space in the header [RB]<commit_after>/*********************************************************************
Author: <NAME> <<EMAIL>>

OpenSMT -- Copyright (C) 2008, <NAME>

OpenSMT is free software: you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation, either version 3 of the License, or
(at your option) any later version.

OpenSMT is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

You should have received a copy of the GNU General Public License
along with OpenSMT. If not, see <http://www.gnu.org/licenses/>.
*********************************************************************/

#include "Egraph.h"
#include "MinisatSMTSolver.h"
#include "Tseitin.h"

#include <cstdlib>
#include <cstdio>
#include <iostream>
#include <csignal>

#if defined(__linux__)
#include <fpu_control.h>
#endif

void        printResult( const lbool & );
void        catcher( int );
extern int  smtparse( );
extern int  smtrestart( FILE * );
Egraph *    parser_egraph;
SMTConfig * parser_config;

/*****************************************************************************\
 *                                                                           *
 *                                  MAIN                                     *
 *                                                                           *
\*****************************************************************************/

int main( int argc, char * argv[] )
{
  // Catch SigTerm, so that it answers even on ctrl-c
  signal( SIGTERM, catcher );
  signal( SIGINT, catcher );

#ifndef SMTCOMP
  cerr << "#" << endl
       << "# -------------------------------------------------------------------------" << endl
       << "#                                                                          " << endl
       << "# OpenSMT " << VERSION << " -- Copyright (C) 2008, <NAME>" << endl
       << "#                                                                          " << endl
       << "# OpenSMT is free software: you can redistribute it and/or modify it under " << endl
       << "# the terms of the GNU General Public License as published by the Free     " << endl
       << "# Software Foundation, either version 3 of the License, or (at your option)" << endl
       << "# any later version.                                                       " << endl
       << "#                                                                          " << endl
       << "# OpenSMT is distributed in the hope that it will be useful, but WITHOUT   " << endl
       << "# ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or    " << endl
       << "# FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for " << endl
       << "# more details.                                                            " << endl
       << "#                                                                          " << endl
       << "# You should have received a copy of the GNU General Public License along  " << endl
       << "# with OpenSMT. If not, see <http://www.gnu.org/licenses/>.                " << endl
       << "#                                                                          " << endl
       << "# -------------------------------------------------------------------------" << endl
       << "# http://code.google.com/p/opensmt           <<EMAIL>>" << endl
       << "# -------------------------------------------------------------------------" << endl
       << "#" << endl;
{'fraction_non_alphanumeric': 0.22473118279569892, 'fraction_numerical': 0.002688172043010753, 'mean_word_length': 1.336997487437186, 'pattern_counts': {'":': 0, '<': 215, '<?xml version=': 0, '>': 31, 'https://': 0, 'lorem ipsum': 0, 'www.': 4, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 66, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '7269853', 'n_tokens_mistral': 1549, 'n_tokens_neox': 1475, 'n_words': 591}