boolean solver downloads
HeeksCAD
0.20.0 download... solid between sketches. Modify solids using blending, or boolean operations. Save IGES, STEP and STL. Printer plot ... and polylines are supported. Use the geometric constraints solver to create accurate drawings from rough sketches. ...
GNU Prolog for Linux
1.5.0 download... GNU Prolog also includes an efficient constraint solver over Finite Domains (FD). This opens contraint logic ... times faster than wamcc. # Constraint solver: * FD variables well integrated into the ...
GNU Prolog for Mac OS X
1.5.0 download... GNU Prolog also includes an efficient constraint solver over Finite Domains (FD). This opens contraint logic ... times faster than wamcc. # Constraint solver: * FD variables well integrated into the ...
GNU Prolog for Windows (x32 bit)
1.5.0 download... GNU Prolog also includes an efficient constraint solver over Finite Domains (FD). This opens contraint logic ... times faster than wamcc. # Constraint solver: * FD variables well integrated into the ...
GNU Prolog for Windows (x64 bit)
1.5.0 download... GNU Prolog also includes an efficient constraint solver over Finite Domains (FD). This opens contraint logic ... times faster than wamcc. # Constraint solver: * FD variables well integrated into the ...
X-Blender
2.79b [rev14] download... · 'Smooth proxy' style catmull-clark subdivision surfaces · Boolean mesh functions · Editing functions such as extrude, ... · Procedural Textures · Ambient Occlusion · Radiosity solver · Export scripts available for external renderers such ...