ubcsat

Contact owners and managers

1–19 of 19

Welcome to the UBCSAT google group, which is here to make announcements, facilitate discussions, and to respond to help requests.

0 selected

Sahana Srinivasan

11/30/17

Question about CNF formatting for constraints

Is it possible to include XOR constraints in a CNF file? If so, how do you format that?

unread,

Question about CNF formatting for constraints

Is it possible to include XOR constraints in a CNF file? If so, how do you format that?

11/30/17

emad-eddine mosbah, Dave Tompkins2

2/27/17

If you're looking to find 100% of all possible solutions for a SAT instance, UBCSAT is not a good

unread,

If you're looking to find 100% of all possible solutions for a SAT instance, UBCSAT is not a good

2/27/17

刘燕丽, Dave Tompkins2

1/13/16

Hi Leva. Yes, you can do this with a *weighted* max-sat problem (instance). if you have Y soft

unread,

Hi Leva. Yes, you can do this with a *weighted* max-sat problem (instance). if you have Y soft

1/13/16

Andrew Edwards, Dave Tompkins2

2/24/15

UBCSAT: Flipping Multiple Variables

Hi Andrew. The code is in the "beta" branch in github: https://github.com/dtompkins/ubcsat/

unread,

UBCSAT: Flipping Multiple Variables

Hi Andrew. The code is in the "beta" branch in github: https://github.com/dtompkins/ubcsat/

2/24/15

Ilias S. Kotsireas, Dave Tompkins2

4/13/14

building UBCSAT on linux.cs.uwaterloo.ca

Well, most of those look like warnings... but this is 64 vs. 32-bit issue. This should be fixed in

unread,

building UBCSAT on linux.cs.uwaterloo.ca

Well, most of those look like warnings... but this is 64 vs. 32-bit issue. This should be fixed in

4/13/14

john smith smith, Dave Tompkins2

4/7/14

Quick query on implementation of SAT algorithm

you want to use the -varinitfile option: -varinitfile STR variable initialization file variables are

unread,

Quick query on implementation of SAT algorithm

you want to use the -varinitfile option: -varinitfile STR variable initialization file variables are

4/7/14

6/26/13

Hi, I am looking for a MaxSat Solver to satisfy clauses like this: 1.most of the clauses have 2

unread,

Hi, I am looking for a MaxSat Solver to satisfy clauses like this: 1.most of the clauses have 2

6/26/13

Elena Papageorgiou

2/23/13

maxsat2012-ubcsat-irots

Hi I am trying to run maxsat2012-ubcsat-irots on windows. Is there an executable that i can use?

unread,

maxsat2012-ubcsat-irots

Hi I am trying to run maxsat2012-ubcsat-irots on windows. Is there an executable that i can use?

2/23/13

1/30/13

I want to get optimal solution.

Hi! My name is Ikuya Omatsu. I'm studying SATsolver and Max-SAT solver in a graduation thesis. I

unread,

I want to get optimal solution.

Hi! My name is Ikuya Omatsu. I'm studying SATsolver and Max-SAT solver in a graduation thesis. I

1/30/13

Huxley David Bennett, Dave Tompkins2

1/12/13

UBCSAT Building/Binary Issues

Huck, can you do me a favour and try out the latest beta (18) ? If that doesn't work, try doing a

unread,

UBCSAT Building/Binary Issues

Huck, can you do me a favour and try out the latest beta (18) ? If that doesn't work, try doing a

1/12/13

1/12/13

Re: ubcsat in SPARC architecture

Alejandro, can you try getting the newest beta version (1.2-beta 18) and trying that? If you could

unread,

Re: ubcsat in SPARC architecture

Alejandro, can you try getting the newest beta version (1.2-beta 18) and trying that? If you could

1/12/13

1/12/13

beta 18 released

I made a small update to UBCSAT. The current version is now beta 18. The only change from b17 is that

unread,

beta 18 released

I made a small update to UBCSAT. The current version is now beta 18. The only change from b17 is that

1/12/13

廖晓鹃, Dave Tompkins2

11/13/12

Problems in building ubcsat

Go to: http://ubcsat.dtompkins.com/downloads download the latest beta: ubcsat-beta-12-b17.tar.gz and

unread,

Problems in building ubcsat

Go to: http://ubcsat.dtompkins.com/downloads download the latest beta: ubcsat-beta-12-b17.tar.gz and

11/13/12

Jeremias Berg, Dave Tompkins2

7/10/12

Regarding the competition buiild of the Iroots algorithm

Hi Jeremias... Because of the way that local search (incomplete) algorithms work, they essentially

unread,

Regarding the competition buiild of the Iroots algorithm

Hi Jeremias... Because of the way that local search (incomplete) algorithms work, they essentially

7/10/12

Veit Elser, … Dave Tompkins4

4/5/12

I still get warnings when I compile with -m32 but it now reads the input and runs fine. Thanks for

unread,

I still get warnings when I compile with -m32 but it now reads the input and runs fine. Thanks for

4/5/12

3/26/12

ubcsat 1.2beta15

My weekend of ubcsat updates is complete. I pushed & tagged 1.2beta15 to github. Significant

unread,

ubcsat 1.2beta15

My weekend of ubcsat updates is complete. I pushed & tagged 1.2beta15 to github. Significant

3/26/12

3/24/12

Captain Jack added

I've added the captain jack algorithm to ubcsat [-alg jack] -- in version 1.2beta12 http://dx.doi

unread,

Captain Jack added

I've added the captain jack algorithm to ubcsat [-alg jack] -- in version 1.2beta12 http://dx.doi

3/24/12

3/24/12

Added algorithm lllwalk

From a request from Dimitris Achlioptas, I added a new algorithm I called lllwalk. it appears in 1.2

unread,

Added algorithm lllwalk

From a request from Dimitris Achlioptas, I added a new algorithm I called lllwalk. it appears in 1.2

3/24/12

3/24/12

Inaugural Test Message

Hello World! :) -Dave

unread,

Inaugural Test Message

Hello World! :) -Dave

3/24/12

Search

Clear search

Close search

Google apps

Main menu