代码搜索：Formula
找到约 2,502 项符合「Formula」的源代码
代码结果 2,502
www.eeworm.com/read/238482/13883558
makefile
FLAGS=-Wall -Winline -O3 -funroll-loops
#FLAGS=-g -Wall -pg
#FLAGS=-pg
#CC=gcc
all: spy verify walksat simann
spy: spy.c spy.h formula.h bk.h formula.o random.o bk.o
${CC} ${FLAGS} spy.c random.o f
www.eeworm.com/read/238481/13883629
makefile
FLAGS=-Wall -Winline -O3 -DQUEUE
#FLAGS=-Wall -Winline -O3 -funroll-loops -DFAST_ITERATION
#FLAGS=-Wall -Winline -O3 -funroll-loops -DQUEUE
#FLAGS=-g -Wall -pg
#FLAGS=-g
#CC=gcc
all: sp merge verify
www.eeworm.com/read/238481/13883643
readme
Compilaton
----------
Simply issue 'make' inside the sp dir.
Running Examples
----------------
./sp -h
./sp -n10000 -a4.2 -%1 -vv
./sp -l formula.cnf
Warning
-------
This is still experimental
www.eeworm.com/read/139159/5807496
java~ write.java~
/*********************************************************************
*
* Copyright (C) 2001 Andrew Khan
*
* This library is free software; you can redistribute it and/or
* modify it under
www.eeworm.com/read/139159/5807507
java write.java
/*********************************************************************
*
* Copyright (C) 2001 Andrew Khan
*
* This library is free software; you can redistribute it and/or
* modify it under
www.eeworm.com/read/137691/5820023
java plotformulapanel.java
// $Id: plotformulapanel.java,v 1.2 2003/10/07 21:46:02 idgay Exp $
package net.tinyos.plot;
import java.awt.*;
import java.awt.event.*;
import javax.swing.*;
import javax.swing.event.*;
public cla
www.eeworm.com/read/126061/6018891
java mainclass.java
/*
* This file is part of JGAP.
*
* JGAP offers a dual license model containing the LGPL as well as the MPL.
*
* For licencing information please see the file license.txt included with JGAP
www.eeworm.com/read/126061/6018892
java repository.java
/*
* This file is part of JGAP.
*
* JGAP offers a dual license model containing the LGPL as well as the MPL.
*
* For licencing information please see the file license.txt included with JGAP
www.eeworm.com/read/126061/6018893
java matchagainsttruthtable.java
/*
* This file is part of JGAP.
*
* JGAP offers a dual license model containing the LGPL as well as the MPL.
*
* For licencing information please see the file license.txt included with JGAP
www.eeworm.com/read/126061/6018899
java functionbuildertest.java
package examples.functionFinder.test;
import java.util.*;
import org.jgap.*;
import junit.framework.*;
import examples.functionFinder.*;
/**
* Tests for FunctionBuilder class
*
* @a