成都 城市志

VCF and VCT function from Renju Solver

The VCT function, now introduced in RenLib, is written by Xiangdong Wen.
Information about "Renju VCT Problems Solver" is found on http://math.temple.edu/~wen/renju/vct/.
From here you can download VCF and VCT problems to use for test.

New Edit Menu commands:
- Find VCT [F5]
- Stop VCF/VCT [F6]

The Renju Class evaluator (by Lu Wenzhe) and Renju Solver (by Xiangdong Wen) are now used for showing forbidden points and finding VCF/VCT, i.e. replacing the old evaluator.

Yes, I know this VCT solver cannot solve all problems and that there are bugs. For example it can indicate a win, but if there are counter-attack for the opponent, VCF attack, it sometimes makes a mistake.

I have already been in contact with the author about making a correction, but he seems to be too busy.

Maybe if many users asks gently he will consider an update

Relative attachment: (Totally 1129 bytes) answer of the problem. not sure right or wrong. 其实相信要解决它问题应该不大,但这是怎样一种态度?!委实不应该.纵然后来的solver很赚钱!

Sorry for reading this topic so late.

1. Of course would be very usefull to save the library every time when you click "find vct" or "vcf" buttons. But this should be saved in a temp file, and do not destroy my library. For example if my library is "i1-open.lib", if I click "find vct", then an "i1-open.bak" should be created/overwriten everytime, in the same folder. So later after vct finish, if everything goes right i will never need .bak file, but if vct crash, i can choose if i use last saved file (the .bak one) or if i stay on my original (the .lib file), depends of how much work I added on it before crash. I am a circumspect guy, even for my design tools i do not like to do automatically save OVER my files, but sepparate, is ok

Later on I can keep or delete the bak file (there is anyhow bak files with old library, with strange names to delete, so no problem to add a new bak)

2. And now, some other improvement idea is looking for a place in my head... Soory I did not open a new topic, as you asked me, maybe next time I will have some more time and put order in my ideas :)... Anyhow, it is not mee the guy to open a topic about suggestions for Renlib, you can open the topic, fix the rules, and we will obey and add there some "strange" requests... This time I have only a "strange" request... hehehe

Comments.... Do you mind to DELETE the lines on the board when adding comments? It was all the time difficult to see comments on board, because the checkered lines. Now I saw some other tool that write the text on the board without transparent background. And the comment is then more easy to see. As it is now, i can not add comments as "1", "+", "v", "i", "l", "T", "t" etc on board, because they can not bee seen, due to the lines. I think it is just a matter of text attributes, to have "easy reading" comments. To make the background of text not to be transparent, or different colored. See the diagram what i mean...