<commit_before>// This file is part of the Wyone automated theorem prover.
//
// Wyone 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.
//
// Wyone 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 Wyone. If not, see <http://www.gnu.org/licenses/>
//
// Copyright 2010, <NAME>. 

package wyone;

import java.io.*;
import java.util.*;

import wyone.core.*;
import wyone.io.InputParser;
import wyone.theory.logic.*;
import wyone.theory.numeric.*;
// import wyone.theory.tuple.*;
// import wyone.theory.quantifier.*;
// import wyone.theory.list.*;
import wyone.theory.set.*;
import wyone.util.*;

/**
 * This class provides a simple text interface to the Solver, allowing simple
 * conditions to be checked for satisfiability.
 * 
 * @author djp
 * 
 */
public class Main {
		
	public static void main(String[] args) {	
		try {
			try {
				if(args.length == 0) {
					System.out.println("usage: java wyone.Main <spec-file>");
					System.exit(1);
				} 				
				<commit_msg>Ok, now I just need to figure out the syntax.<commit_after>// This file is part of the Wyone automated theorem prover.
//
// Wyone 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.
//
// Wyone 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 Wyone. If not, see <http://www.gnu.org/licenses/>
//
// Copyright 2010, <NAME>. 

package wyone;

import java.io.*;
import java.util.*;

import wyil.util.SyntaxError;
import wyone.core.*;
import wyone.io.*;

/**
 * This class provides a simple text interface to the Solver, allowing simple
 * conditions to be checked for satisfiability.
 * 
 * @author djp
 * 
 */
public class Main {
		
	public static void main(String[] args) {	
		try {
			try {
				if(args.length == 0) {
					System.out.println("usage: java wyone.Main <spec-file>");
					System.exit(1);
				} 				
				
{'fraction_non_alphanumeric': 0.10709010339734121, 'fraction_numerical': 0.0051698670605613, 'mean_word_length': 3.0432835820895523, 'pattern_counts': {'":': 0, '<': 9, '<?xml version=': 0, '>': 9, 'https://': 0, 'lorem ipsum': 0, 'www.': 2, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '1425185', 'n_tokens_mistral': 844, 'n_tokens_neox': 765, 'n_words': 339}