Skip to content

Commit 2e4b4a4

Browse files
author
mkouril
committed
Added slider presets.
1 parent 147ba05 commit 2e4b4a4

File tree

95 files changed

+1386
-465
lines changed

Some content is hidden

Large Commits have some content hidden by default. Use the searchbox below for content that may be hidden.

95 files changed

+1386
-465
lines changed

‎COPYING

+36-339
Large diffs are not rendered by default.

‎INSTALL

+1-1
Original file line numberDiff line numberDiff line change
@@ -20,7 +20,7 @@ be considered for the next release. If at some point `config.cache'
2020
contains results you don't want to keep, you may remove or edit it.
2121

2222
The file `configure.in' is used to create `configure' by a program
23-
called `autoconf'. You only need `configure.in' if you want to change
23+
called `autoconf'. You only need `configure.ac' if you want to change
2424
it or regenerate `configure' using a newer version of `autoconf'.
2525

2626
The simplest way to compile this package is:

‎README

+8-1
Original file line numberDiff line numberDiff line change
@@ -35,7 +35,14 @@
3535
of the possibility of those damages.
3636
*********************************************************************/
3737

38-
Compatibility testing:
38+
Quick start:
39+
40+
1) ./configure
41+
2) make
42+
3) make check
43+
44+
45+
Internal Compatibility testing:
3946
i386 Linux RH7.3 and EL WS3
4047
i386 Windows Cygwin
4148
Sparc Solaris 9

‎confdefs.h

+3-3
Original file line numberDiff line numberDiff line change
@@ -1,11 +1,11 @@
11

22
#define PACKAGE_NAME "sbsat"
33
#define PACKAGE_TARNAME "sbsat"
4-
#define PACKAGE_VERSION "2.5b-1"
5-
#define PACKAGE_STRING "sbsat 2.5b-1"
4+
#define PACKAGE_VERSION "2.5b-2"
5+
#define PACKAGE_STRING "sbsat 2.5b-2"
66
#define PACKAGE_BUGREPORT "[email protected]"
77
#define PACKAGE "sbsat"
8-
#define VERSION "2.5b-1"
8+
#define VERSION "2.5b-2"
99
#ifdef __cplusplus
1010
#include <stdlib.h>
1111
#endif

‎configure

+10-10
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
#! /bin/sh
22
# Guess values for system-dependent variables and create Makefiles.
3-
# Generated by GNU Autoconf 2.57 for sbsat 2.5b-1.
3+
# Generated by GNU Autoconf 2.57 for sbsat 2.5b-2.
44
#
55
# Report bugs to <[email protected]>.
66
#
@@ -427,8 +427,8 @@ SHELL=${CONFIG_SHELL-/bin/sh}
427427
# Identity of this package.
428428
PACKAGE_NAME='sbsat'
429429
PACKAGE_TARNAME='sbsat'
430-
PACKAGE_VERSION='2.5b-1'
431-
PACKAGE_STRING='sbsat 2.5b-1'
430+
PACKAGE_VERSION='2.5b-2'
431+
PACKAGE_STRING='sbsat 2.5b-2'
432432
PACKAGE_BUGREPORT='[email protected]'
433433

434434
ac_unique_file="include/sbsat.h"
@@ -946,7 +946,7 @@ if test "$ac_init_help" = "long"; then
946946
# Omit some internal or obsolete options to make the list less imposing.
947947
# This message is too long to be a string in the A/UX 3.1 sh.
948948
cat <<_ACEOF
949-
\`configure' configures sbsat 2.5b-1 to adapt to many kinds of systems.
949+
\`configure' configures sbsat 2.5b-2 to adapt to many kinds of systems.
950950
951951
Usage: $0 [OPTION]... [VAR=VALUE]...
952952
@@ -1012,7 +1012,7 @@ fi
10121012

10131013
if test -n "$ac_init_help"; then
10141014
case $ac_init_help in
1015-
short | recursive ) echo "Configuration of sbsat 2.5b-1:";;
1015+
short | recursive ) echo "Configuration of sbsat 2.5b-2:";;
10161016
esac
10171017
cat <<\_ACEOF
10181018
@@ -1119,7 +1119,7 @@ fi
11191119
test -n "$ac_init_help" && exit 0
11201120
if $ac_init_version; then
11211121
cat <<\_ACEOF
1122-
sbsat configure 2.5b-1
1122+
sbsat configure 2.5b-2
11231123
generated by GNU Autoconf 2.57
11241124
11251125
Copyright 1992, 1993, 1994, 1995, 1996, 1998, 1999, 2000, 2001, 2002
@@ -1134,7 +1134,7 @@ cat >&5 <<_ACEOF
11341134
This file contains any messages produced by compilers while
11351135
running configure, to aid debugging if configure makes a mistake.
11361136
1137-
It was created by sbsat $as_me 2.5b-1, which was
1137+
It was created by sbsat $as_me 2.5b-2, which was
11381138
generated by GNU Autoconf 2.57. Invocation command line was
11391139
11401140
$ $0 $@
@@ -1740,7 +1740,7 @@ fi
17401740
17411741
# Define the identity of the package.
17421742
PACKAGE=sbsat
1743-
VERSION=2.5b-1
1743+
VERSION=2.5b-2
17441744
17451745
17461746
cat >>confdefs.h <<_ACEOF
@@ -12773,7 +12773,7 @@ _ASBOX
1277312773
} >&5
1277412774
cat >&5 <<_CSEOF
1277512775
12776-
This file was extended by sbsat $as_me 2.5b-1, which was
12776+
This file was extended by sbsat $as_me 2.5b-2, which was
1277712777
generated by GNU Autoconf 2.57. Invocation command line was
1277812778
1277912779
CONFIG_FILES = $CONFIG_FILES
@@ -12836,7 +12836,7 @@ _ACEOF
1283612836
1283712837
cat >>$CONFIG_STATUS <<_ACEOF
1283812838
ac_cs_version="\\
12839-
sbsat config.status 2.5b-1
12839+
sbsat config.status 2.5b-2
1284012840
configured by $0, generated by GNU Autoconf 2.57,
1284112841
with options \\"`echo "$ac_configure_args" | sed 's/[\\""\`\$]/\\\\&/g'`\\"
1284212842

‎configure.ac

+2-2
Original file line numberDiff line numberDiff line change
@@ -2,9 +2,9 @@
22

33
AC_PREREQ(2.57)
44
# watch out -- two places to change the version
5-
AC_INIT([sbsat],[2.5b-1],[[email protected]])
5+
AC_INIT([sbsat],[2.5b-2],[[email protected]])
66
AC_LANG([C++])
7-
AM_INIT_AUTOMAKE(sbsat,2.5b-1)
7+
AM_INIT_AUTOMAKE(sbsat,2.5b-2)
88
AC_CONFIG_SRCDIR([include/sbsat.h])
99
AC_CONFIG_HEADER([include/config.h])
1010

‎include/bdd_ite.h

+37
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,40 @@
1+
/* =========FOR INTERNAL USE ONLY. NO DISTRIBUTION PLEASE ========== */
2+
3+
/*********************************************************************
4+
Copyright 1999-2004, University of Cincinnati. All rights reserved.
5+
By using this software the USER indicates that he or she has read,
6+
understood and will comply with the following:
7+
8+
--- University of Cincinnati hereby grants USER nonexclusive permission
9+
to use, copy and/or modify this software for internal, noncommercial,
10+
research purposes only. Any distribution, including commercial sale
11+
or license, of this software, copies of the software, its associated
12+
documentation and/or modifications of either is strictly prohibited
13+
without the prior consent of University of Cincinnati. Title to copyright
14+
to this software and its associated documentation shall at all times
15+
remain with University of Cincinnati. Appropriate copyright notice shall
16+
be placed on all software copies, and a complete copy of this notice
17+
shall be included in all copies of the associated documentation.
18+
No right is granted to use in advertising, publicity or otherwise
19+
any trademark, service mark, or the name of University of Cincinnati.
20+
21+
22+
--- This software and any associated documentation is provided "as is"
23+
24+
UNIVERSITY OF CINCINNATI MAKES NO REPRESENTATIONS OR WARRANTIES, EXPRESS
25+
OR IMPLIED, INCLUDING THOSE OF MERCHANTABILITY OR FITNESS FOR A
26+
PARTICULAR PURPOSE, OR THAT USE OF THE SOFTWARE, MODIFICATIONS, OR
27+
ASSOCIATED DOCUMENTATION WILL NOT INFRINGE ANY PATENTS, COPYRIGHTS,
28+
TRADEMARKS OR OTHER INTELLECTUAL PROPERTY RIGHTS OF A THIRD PARTY.
29+
30+
University of Cincinnati shall not be liable under any circumstances for
31+
any direct, indirect, special, incidental, or consequential damages
32+
with respect to any claim by USER or any third party on account of
33+
or arising from the use, or inability to use, this software or its
34+
associated documentation, even if University of Cincinnati has been advised
35+
of the possibility of those damages.
36+
*********************************************************************/
37+
138
#ifndef BDD_ITE_H
239
#define BDD_ITE_H
340

‎include/bddnode.h

+37
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,40 @@
1+
/* =========FOR INTERNAL USE ONLY. NO DISTRIBUTION PLEASE ========== */
2+
3+
/*********************************************************************
4+
Copyright 1999-2004, University of Cincinnati. All rights reserved.
5+
By using this software the USER indicates that he or she has read,
6+
understood and will comply with the following:
7+
8+
--- University of Cincinnati hereby grants USER nonexclusive permission
9+
to use, copy and/or modify this software for internal, noncommercial,
10+
research purposes only. Any distribution, including commercial sale
11+
or license, of this software, copies of the software, its associated
12+
documentation and/or modifications of either is strictly prohibited
13+
without the prior consent of University of Cincinnati. Title to copyright
14+
to this software and its associated documentation shall at all times
15+
remain with University of Cincinnati. Appropriate copyright notice shall
16+
be placed on all software copies, and a complete copy of this notice
17+
shall be included in all copies of the associated documentation.
18+
No right is granted to use in advertising, publicity or otherwise
19+
any trademark, service mark, or the name of University of Cincinnati.
20+
21+
22+
--- This software and any associated documentation is provided "as is"
23+
24+
UNIVERSITY OF CINCINNATI MAKES NO REPRESENTATIONS OR WARRANTIES, EXPRESS
25+
OR IMPLIED, INCLUDING THOSE OF MERCHANTABILITY OR FITNESS FOR A
26+
PARTICULAR PURPOSE, OR THAT USE OF THE SOFTWARE, MODIFICATIONS, OR
27+
ASSOCIATED DOCUMENTATION WILL NOT INFRINGE ANY PATENTS, COPYRIGHTS,
28+
TRADEMARKS OR OTHER INTELLECTUAL PROPERTY RIGHTS OF A THIRD PARTY.
29+
30+
University of Cincinnati shall not be liable under any circumstances for
31+
any direct, indirect, special, incidental, or consequential damages
32+
with respect to any claim by USER or any third party on account of
33+
or arising from the use, or inability to use, this software or its
34+
associated documentation, even if University of Cincinnati has been advised
35+
of the possibility of those damages.
36+
*********************************************************************/
37+
138

239
#ifndef BDDNODE_H
340
#define BDDNODE_H

‎include/params.h

+2
Original file line numberDiff line numberDiff line change
@@ -160,5 +160,7 @@ void dump_params();
160160
t_opt *lookup_keyword(char *key);
161161
t_opt *lookup_short_keyword(char *key);
162162
void set_param_int(char *param, int value);
163+
void change_defa_param_int(char *param, int value);
164+
163165

164166
#endif

‎include/sbsat_utils.h

+37
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,40 @@
1+
/* =========FOR INTERNAL USE ONLY. NO DISTRIBUTION PLEASE ========== */
2+
3+
/*********************************************************************
4+
Copyright 1999-2004, University of Cincinnati. All rights reserved.
5+
By using this software the USER indicates that he or she has read,
6+
understood and will comply with the following:
7+
8+
--- University of Cincinnati hereby grants USER nonexclusive permission
9+
to use, copy and/or modify this software for internal, noncommercial,
10+
research purposes only. Any distribution, including commercial sale
11+
or license, of this software, copies of the software, its associated
12+
documentation and/or modifications of either is strictly prohibited
13+
without the prior consent of University of Cincinnati. Title to copyright
14+
to this software and its associated documentation shall at all times
15+
remain with University of Cincinnati. Appropriate copyright notice shall
16+
be placed on all software copies, and a complete copy of this notice
17+
shall be included in all copies of the associated documentation.
18+
No right is granted to use in advertising, publicity or otherwise
19+
any trademark, service mark, or the name of University of Cincinnati.
20+
21+
22+
--- This software and any associated documentation is provided "as is"
23+
24+
UNIVERSITY OF CINCINNATI MAKES NO REPRESENTATIONS OR WARRANTIES, EXPRESS
25+
OR IMPLIED, INCLUDING THOSE OF MERCHANTABILITY OR FITNESS FOR A
26+
PARTICULAR PURPOSE, OR THAT USE OF THE SOFTWARE, MODIFICATIONS, OR
27+
ASSOCIATED DOCUMENTATION WILL NOT INFRINGE ANY PATENTS, COPYRIGHTS,
28+
TRADEMARKS OR OTHER INTELLECTUAL PROPERTY RIGHTS OF A THIRD PARTY.
29+
30+
University of Cincinnati shall not be liable under any circumstances for
31+
any direct, indirect, special, incidental, or consequential damages
32+
with respect to any claim by USER or any third party on account of
33+
or arising from the use, or inability to use, this software or its
34+
associated documentation, even if University of Cincinnati has been advised
35+
of the possibility of those damages.
36+
*********************************************************************/
37+
138
#ifndef SBSAT_UTILS_H
239
#define SBSAT_UTILS_H
340
/*

‎libtool

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,7 @@
11
#! /bin/sh
22

33
# libtool - Provide generalized library-building support services.
4-
# Generated automatically by (GNU sbsat 2.5b-1)
4+
# Generated automatically by (GNU sbsat 2.5b-2)
55
# NOTE: Changes made to this file will be lost: look at ltmain.sh.
66
#
77
# Copyright (C) 1996-2000 Free Software Foundation, Inc.

‎src/empty.cc

+37
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,37 @@
1+
/* =========FOR INTERNAL USE ONLY. NO DISTRIBUTION PLEASE ========== */
2+
3+
/*********************************************************************
4+
Copyright 1999-2004, University of Cincinnati. All rights reserved.
5+
By using this software the USER indicates that he or she has read,
6+
understood and will comply with the following:
7+
8+
--- University of Cincinnati hereby grants USER nonexclusive permission
9+
to use, copy and/or modify this software for internal, noncommercial,
10+
research purposes only. Any distribution, including commercial sale
11+
or license, of this software, copies of the software, its associated
12+
documentation and/or modifications of either is strictly prohibited
13+
without the prior consent of University of Cincinnati. Title to copyright
14+
to this software and its associated documentation shall at all times
15+
remain with University of Cincinnati. Appropriate copyright notice shall
16+
be placed on all software copies, and a complete copy of this notice
17+
shall be included in all copies of the associated documentation.
18+
No right is granted to use in advertising, publicity or otherwise
19+
any trademark, service mark, or the name of University of Cincinnati.
20+
21+
22+
--- This software and any associated documentation is provided "as is"
23+
24+
UNIVERSITY OF CINCINNATI MAKES NO REPRESENTATIONS OR WARRANTIES, EXPRESS
25+
OR IMPLIED, INCLUDING THOSE OF MERCHANTABILITY OR FITNESS FOR A
26+
PARTICULAR PURPOSE, OR THAT USE OF THE SOFTWARE, MODIFICATIONS, OR
27+
ASSOCIATED DOCUMENTATION WILL NOT INFRINGE ANY PATENTS, COPYRIGHTS,
28+
TRADEMARKS OR OTHER INTELLECTUAL PROPERTY RIGHTS OF A THIRD PARTY.
29+
30+
University of Cincinnati shall not be liable under any circumstances for
31+
any direct, indirect, special, incidental, or consequential damages
32+
with respect to any claim by USER or any third party on account of
33+
or arising from the use, or inability to use, this software or its
34+
associated documentation, even if University of Cincinnati has been advised
35+
of the possibility of those damages.
36+
*********************************************************************/
37+

‎src/emptylib.cc

+37
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,37 @@
1+
/* =========FOR INTERNAL USE ONLY. NO DISTRIBUTION PLEASE ========== */
2+
3+
/*********************************************************************
4+
Copyright 1999-2004, University of Cincinnati. All rights reserved.
5+
By using this software the USER indicates that he or she has read,
6+
understood and will comply with the following:
7+
8+
--- University of Cincinnati hereby grants USER nonexclusive permission
9+
to use, copy and/or modify this software for internal, noncommercial,
10+
research purposes only. Any distribution, including commercial sale
11+
or license, of this software, copies of the software, its associated
12+
documentation and/or modifications of either is strictly prohibited
13+
without the prior consent of University of Cincinnati. Title to copyright
14+
to this software and its associated documentation shall at all times
15+
remain with University of Cincinnati. Appropriate copyright notice shall
16+
be placed on all software copies, and a complete copy of this notice
17+
shall be included in all copies of the associated documentation.
18+
No right is granted to use in advertising, publicity or otherwise
19+
any trademark, service mark, or the name of University of Cincinnati.
20+
21+
22+
--- This software and any associated documentation is provided "as is"
23+
24+
UNIVERSITY OF CINCINNATI MAKES NO REPRESENTATIONS OR WARRANTIES, EXPRESS
25+
OR IMPLIED, INCLUDING THOSE OF MERCHANTABILITY OR FITNESS FOR A
26+
PARTICULAR PURPOSE, OR THAT USE OF THE SOFTWARE, MODIFICATIONS, OR
27+
ASSOCIATED DOCUMENTATION WILL NOT INFRINGE ANY PATENTS, COPYRIGHTS,
28+
TRADEMARKS OR OTHER INTELLECTUAL PROPERTY RIGHTS OF A THIRD PARTY.
29+
30+
University of Cincinnati shall not be liable under any circumstances for
31+
any direct, indirect, special, incidental, or consequential damages
32+
with respect to any claim by USER or any third party on account of
33+
or arising from the use, or inability to use, this software or its
34+
associated documentation, even if University of Cincinnati has been advised
35+
of the possibility of those damages.
36+
*********************************************************************/
37+

‎src/formats/5/functions.h

+37
Original file line numberDiff line numberDiff line change
@@ -1,3 +1,40 @@
1+
/* =========FOR INTERNAL USE ONLY. NO DISTRIBUTION PLEASE ========== */
2+
3+
/*********************************************************************
4+
Copyright 1999-2004, University of Cincinnati. All rights reserved.
5+
By using this software the USER indicates that he or she has read,
6+
understood and will comply with the following:
7+
8+
--- University of Cincinnati hereby grants USER nonexclusive permission
9+
to use, copy and/or modify this software for internal, noncommercial,
10+
research purposes only. Any distribution, including commercial sale
11+
or license, of this software, copies of the software, its associated
12+
documentation and/or modifications of either is strictly prohibited
13+
without the prior consent of University of Cincinnati. Title to copyright
14+
to this software and its associated documentation shall at all times
15+
remain with University of Cincinnati. Appropriate copyright notice shall
16+
be placed on all software copies, and a complete copy of this notice
17+
shall be included in all copies of the associated documentation.
18+
No right is granted to use in advertising, publicity or otherwise
19+
any trademark, service mark, or the name of University of Cincinnati.
20+
21+
22+
--- This software and any associated documentation is provided "as is"
23+
24+
UNIVERSITY OF CINCINNATI MAKES NO REPRESENTATIONS OR WARRANTIES, EXPRESS
25+
OR IMPLIED, INCLUDING THOSE OF MERCHANTABILITY OR FITNESS FOR A
26+
PARTICULAR PURPOSE, OR THAT USE OF THE SOFTWARE, MODIFICATIONS, OR
27+
ASSOCIATED DOCUMENTATION WILL NOT INFRINGE ANY PATENTS, COPYRIGHTS,
28+
TRADEMARKS OR OTHER INTELLECTUAL PROPERTY RIGHTS OF A THIRD PARTY.
29+
30+
University of Cincinnati shall not be liable under any circumstances for
31+
any direct, indirect, special, incidental, or consequential damages
32+
with respect to any claim by USER or any third party on account of
33+
or arising from the use, or inability to use, this software or its
34+
associated documentation, even if University of Cincinnati has been advised
35+
of the possibility of those damages.
36+
*********************************************************************/
37+
138

239

340
#include "bddnode.h"

0 commit comments

Comments
 (0)