Stack Overflow
Stack Overflow

Questions tagged [cnf]

Common Navigator Framework - Eclipse platform provides this framework for tree based viewers

69 questions
5
votes
1 answer

How to change folder icons (eg. the source folder) in common navigator view in an eclipse-rcp application?

As you can see in the title of this post I have a question concerning folder icons in a common navigator view used by an eclipse-rcp application. Is it basically possible to change the icon of a standard folder in the navigator view? My goal is to…
Richy
  • 73
  • 7
5
votes
1 answer

Eclipse - "Virtual" Resources

I am programming a plug-in that uses a virtual tree-like file-structure. Basically it acts just like a standard filesystem containing files, with the difference that these files do not actually exist in a specific location in the filesystem but…
Sevi Vöst
  • 55
  • 3
4
votes
1 answer

Convert formula to cnf python

I want to convert a formula to CNF. Is there a library to do this? This is my code. I created many function to convert any (a or b) to the CNF format. But if there are many propositions, that will be hard like (a > b) & (c & d) or not(f)…
user9778234
3
votes
1 answer

How to use the Common Navigator Framework with checkboxes

When I use Common Navigator Framework, I can not find how to let it support check boxes just like TreeViewer. At the beginning, I intend to use Check Tree View, but it can not take full advantage of RCP mechanism, so I decide use Common Navigator…
ProEditor
  • 59
  • 5
3
votes
0 answers

Eclipse CNF, double-click action to open a view

I'd like to be able to double-click on a file with a specific extension in the eclipse project explorer and for it to open a read-only view of the associated file. Any suggestions on how to do this would be most appreciated. Thanks, Steve
Steve Jones
  • 141
  • 1
  • 5
3
votes
1 answer

Regarding SAT Solvers and cnf files

I've been trying to use Cryptominisat (something similar will do) to formulate an attack on Piccolo, a lightweight block cipher, similar to AES. The equations are something like this: Z= z1|z2|...|z16, 1<= i<=16 Then, ui= (1+z(4i-3)) ^ (1+ z(4i-2))…
Rishav Mishra
  • 51
  • 4
2
votes
1 answer

Implement custom library browser / type hierarchy in an Eclipse plugin

I'm creating an Eclipse Plugin for development using the Grammatical Framework (GF), and once of the major features I want to implement a custom "library browser" for searching the GF Resource Grammar Library (which will internally involve parsing a…
John J. Camilleri
  • 4,171
  • 5
  • 31
  • 41
2
votes
1 answer

Converting CNF format to DIMACS format

My lab partner and I are working on writing code to make our own SAT solver using Python for one of our courses. So far we have written this code to convert SoP to CNF. Now we are stuck as to how to convert the CNF to DIMACS format. We understand…
SRambo
  • 21
  • 3
2
votes
1 answer

How can I add more supported file extension (eg .cnf) for Remote - SSH: Editing Configuration Files

I'm using VSCode Remote - SSH: Editing Configuration Files for syntax highlighting for some configuration files, it works fine for .conf etc. However, i want to it able to work with MySQL .cnf, i have no way so far, just with a workaround of…
Martin Tian
  • 31
  • 5
2
votes
1 answer

CNF by truth table

I have a boolean function that is presented by truth table. In total it is 10 variables and I'd like to get CNF with a reasonable length (not necessary the shortest, but short enough). How can I do it? Python script or any public available software…
knst
  • 523
  • 2
  • 16
2
votes
1 answer

pyeda method "to abstract syntax tree"

What I'm really trying to do is to convert boolean expressions to integer linear programming constraints. I'm trying to first convert the expressions into a CNF (using pyeda) and then from the CNF form the constraints (since this is pretty straight…
Rikard Olsson
  • 841
  • 1
  • 7
  • 28
2
votes
1 answer

CNF: Remove SOME popup options (from the ones that are platform contributions)

I need to modify popup menus using CNF. I already read documentation about using action providers and about using "allowsPlatformContribution" to restrict options that are platform contributions. I already used some of these concepts sucessfully to…
user738806
  • 93
  • 4
2
votes
2 answers

Trying to edit the my.cnf file in mysql and it does not work

I'm attempting to use cat /etc/my.cnf in mysql but when I do this, it just shows -> wanting me to keep putting in inputs. However, when I put a semicolon at the end. cat /etc/my.cnf; it throws an error. How can I edit the /etc/my.cnf file? I'm…
jkim44
  • 23
  • 1
  • 3
2
votes
1 answer

Converting a query to CNF

I've recently been trying to learn logic, but I've come across a query that I can't do and I'm not quite sure where I'm going wrong. When converting a query to CNF, what do you do when you come to this particular situation? (a AND NOT(b AND c)) AND…
SKennedy09
  • 59
  • 1
2
votes
4 answers

RMySQL not working with a cnf file

I am trying to connect to a MySQL server through R and it works perfect with the follwoing line: con <- dbConnect(MySQL(), user="user", password="password",dbname="dbname", host="localhost", port=3306) But, I would like to use a cnf file so that my…
user1703914
1
2 3 4 5