Bradley M. Froehle bfroehle

## kenken.py
"""
A SAT-based KenKen (http://www.kenken.com/) solver.

The implementation of this solver is based on the ideas contained in
the paper:

    "A SAT-based Sudoku solver" by Tjark Weber

    https://www.lri.fr/~conchon/mpri/weber.pdf

## README.md

      
              3 files
            
          
              0 forks
            
          
              0 comments
            
          
              6 stars
            
          
                bfroehle
                / README.md
            
            
              Last active
              January 12, 2021 08:02
            
              
                Proof of concept of using the LLVM JIT compiler to load Python extension modules.
              
          
    Python & LLVM Extension Modules

This is a quick proof of concept of using the LLVM JIT compiler as
Python's extension module loader. This implelentation completely
replaces the standard extension module framework, so regular extension
modules cannot be loaded. It would not be too difficult to extend the
patch to allow loading both LLVM bitcode (.bc) and regular extension
(.so) modules.

  
## xstartup.custom
#!/bin/sh

# VNC Server (Virtual-Mode) start-up script.

unset XDG_RUNTIME_DIR

[ -r $HOME/.Xresources ] && xrdb $HOME/.Xresources
xsetroot -solid grey

if [ -f /usr/bin/gnome-session ]; then

## file_wrapper.cpp
#include <boost/python.hpp>
#include <iostream>

namespace {
  void *convert_to_FILEptr(PyObject* obj) {
    return PyFile_Check(obj) ? PyFile_AsFile(obj) : 0;
  }
}

void test_argument(FILE* f) {

## .gitignore
*.py[oc]
	"""
	A SAT-based KenKen (http://www.kenken.com/) solver.

	The implementation of this solver is based on the ideas contained in
	the paper:

	"A SAT-based Sudoku solver" by Tjark Weber

	https://www.lri.fr/~conchon/mpri/weber.pdf
	#!/bin/sh

	# VNC Server (Virtual-Mode) start-up script.

	unset XDG_RUNTIME_DIR

	[ -r $HOME/.Xresources ] && xrdb $HOME/.Xresources
	xsetroot -solid grey

	if [ -f /usr/bin/gnome-session ]; then
	#include <boost/python.hpp>
	#include <iostream>

	namespace {
	void convert_to_FILEptr(PyObject obj) {
	return PyFile_Check(obj) ? PyFile_AsFile(obj) : 0;
	}
	}

	void test_argument(FILE* f) {